Add gnatcoll_gmp

2019-12-25 09:57:38 +01:00
parent 0d16d420ad
commit 156a12a905
1 changed files with 40 additions and 0 deletions
@@ -0,0 +1,40 @@
+[general]
+description = "GNAT Components Collection - Bindings to GMP"
+licenses = ["GPL 3.0"]
+authors = ["AdaCore"]
+maintainers = ["derodat@adacore.com"]
+maintainers-logins = ["pmderodat"]
+
+project-files = ["gmp/gnatcoll_gmp.gpr"]
+
+    [general.gpr-externals]
+    BUILD = ["DEBUG", "PROD"]
+    LIBRARY_TYPE = ["relocatable", "static", "static-pic"]
+    GNATCOLL_VERSION = ""
+
+    [general.gpr-set-externals]
+    BUILD = "PROD"
+    LIBRARY_TYPE = "static-pic"
+
+[2019]
+origin = """https://community.download.adacore.com/v1/\
+            964ece4f78755a2fb3c1c84cec2c375cda66bd98?filename="""
+archive-name = "gnatcoll-bindings-2019-20190430-1928C-src.tar.gz"
+origin-hashes = ["""\
+    sha512:6db1d35a1cdf5188001084750f7aa32b193768f8c3dfb6d7db8a8314c745fc054b0\
+    a6d2234a6dd64c5acd4b1bafffa7ce7f1080bd51fbb8bc88edfcc855b7a48\
+"""]
+
+    [2019.available.'case(compiler)']
+    'gnat-fsf-9-0' = true
+    'gnat-fsf-9-1' = true
+    'gnat-fsf-9-2-or-newer' = true
+    'gnat-community-2019' = true
+    '...' = false
+
+    [2019.depends-on]
+    gnatcoll = "^2019"
+    libgmp = "^6.1"
+
+    [2019.gpr-set-externals]
+    GNATCOLL_VERSION = "2019"