Merge pull request #36 from reznikmm/topic/asis

Add ASIS library
2018-10-25 12:49:31 +02:00
parent a9cdc5329e d4b1bb6196
commit 68aadec50e
1 changed files with 55 additions and 0 deletions
@@ -0,0 +1,55 @@
+package Alire.Index.ASIS is
+
+   function Project is
+     new Catalogued_Project
+       ("Ada Semantic Interface Specification or ASIS (library part)");
+
+   Src_2018 : constant URL :=
+     "http://mirrors.cdn.adacore.com/art/5b0819e0c7a447df26c27ab8";
+   Src_2017 : constant URL :=
+     "http://mirrors.cdn.adacore.com/art/591c45e2c7a447af2deecffb";
+
+   Common_Properties : constant Release_Properties :=
+     Maintainer ("AdaCore") and
+     Website ("https://www.adacore.com/download/more") and
+     License (GPL_3_0);
+
+   V_2018 : constant Release :=
+              Project.Register
+                (V ("2018"),
+                 Source_Archive
+                   (Src_2018,
+                    "asis-gpl-2018-20180524-src.tar.gz"),
+
+                 Properties         =>
+                   Project_File ("asis-gpl-2018-src/asis.gpr") and
+                   Common_Properties,
+
+                 Private_Properties =>
+                   Action_Run
+                     (Post_Fetch, "make setup-snames -C asis-gpl-2018-src"),
+
+                 Available_When     =>
+                    Compiler = GNAT_Community_2018
+                );
+
+   V_2017 : constant Release :=
+              Project.Register
+                (V ("2017"),
+                 Source_Archive
+                   (Src_2017,
+                    "asis-gpl-2017-src.tar.gz"),
+
+                 Properties         =>
+                   Project_File ("asis-gpl-2017-src/asis.gpr") and
+                   Common_Properties,
+
+                 Private_Properties =>
+                   Action_Run
+                     (Post_Fetch, "make setup-snames -C asis-gpl-2017-src"),
+
+                 Available_When     =>
+                    Compiler = GNAT_Community_2018
+                );
+
+end Alire.Index.ASIS;