gnatcoll, libgpr, xmlada 25.0.0

index/gn/gnatcoll/gnatcoll-25.0.0.toml

@@ -0,0 +1,41 @@
+name = "gnatcoll"
+version = "25.0.0"
+description = "GNAT Components Collection - Core packages"
+website = "https://github.com/adacore/gnatcoll-core"
+authors = ["AdaCore"]
+licenses = "GPL-3.0-or-later WITH GCC-exception-3.1"
+maintainers = ["[email protected]"]
+maintainers-logins = ["Fabien-Chouteau"]
+project-files = ["gnatcoll.gpr",
+                 "projects/gnatcoll_projects.gpr",
+                 "core/gnatcoll_core.gpr",
+                 "minimal/gnatcoll_minimal.gpr"]
+tags = ["gnatcoll", "json", "email", "refcount", "projects", "gpr", "vfs"]
+
+[configuration]
+disabled = true
+
+[gpr-externals]
+GNATCOLL_ATOMICS = ["intrinsic", "mutex"]
+GNATCOLL_BUILD_MODE = ["DEBUG", "PROD"]
+GNATCOLL_OS = ["windows", "unix", "osx"]
+LIBRARY_TYPE = ["static", "relocatable", "static-pic"]
+
+[gpr-set-externals."case(os)".linux]
+GNATCOLL_OS = "unix"
+[gpr-set-externals."case(os)".macos]
+GNATCOLL_OS = "osx"
+[gpr-set-externals."case(os)".windows]
+GNATCOLL_OS = "windows"
+
+[gpr-set-externals]
+GNATCOLL_VERSION = "25.0.0"
+GNATCOLL_BUILD_MODE = "PROD"
+
+[[depends-on]]
+libgpr = "~25.0.0"
+gnat = ">=13"
+
+[origin]
+url="https://github.com/adacore/gnatcoll-core/archive/v25.0.0/gnatcoll-core-25.0.0.zip"
+hashes=['sha512:d7d844832d303cb720595e2f656178e696002a593383f41f6589fa45b52bc03b1e5785ee47b741d38234ea98be4ec06537392dffd0e149f71a627899fc7a1113']

index/li/libgpr/libgpr-25.0.0.toml

@@ -0,0 +1,23 @@
+name = "libgpr"
+version = "25.0.0"
+description = "GNAT Project File Library"
+authors = ["AdaCore"]
+licenses = "GPL-3.0-or-later WITH GCC-exception-3.1"
+maintainers = ["[email protected]"]
+maintainers-logins = ["Fabien-Chouteau"]
+project-files = ["gpr/gpr.gpr"]
+
+[configuration]
+disabled = true
+
+[gpr-externals]
+GPR_BUILD = ["debug", "production", "coverage", "profiling"]
+LIBRARY_TYPE = ["static", "relocatable", "static-pic"]
+
+[[depends-on]]
+gnat = "/=2020" # Does not build with GNAT Community 2020
+xmlada = "~25.0.0"
+
+[origin]
+url="https://github.com/adacore/gprbuild/archive/v25.0.0/gprbuild-25.0.0.zip"
+hashes=['sha512:17669998ac9a420a44713704d0155dcdfa0998896c43723990268035417e7faeec77217caff108a757eb62bea4c98ee6a25781311743b4f3bfbda9ca48633ffe']

index/xm/xmlada/xmlada-25.0.0.toml

@@ -0,0 +1,33 @@
+name = "xmlada"
+version = "25.0.0"
+description = "The XML/Ada toolkit"
+website = "https://github.com/AdaCore/xmlada"
+authors = ["AdaCore"]
+licenses = "GPL-3.0-or-later WITH GCC-exception-3.1"
+maintainers = ["[email protected]"]
+maintainers-logins = ["Fabien-Chouteau"]
+project-files = ["distrib/xmlada.gpr",
+                 "dom/xmlada_dom.gpr",
+                 "sax/xmlada_sax.gpr",
+                 "input_sources/xmlada_input.gpr",
+                 "schema/xmlada_schema.gpr",
+                 "unicode/xmlada_unicode.gpr"]
+
+[[depends-on]]
+gnat = ">=11"
+
+[configuration]
+disabled = true
+
+[[actions."case(distribution)"."..."]]
+type = "post-fetch"
+command = ["sh", "configure"]
+
+[gpr-externals]
+LIBRARY_TYPE = ["static", "relocatable", "static-pic"]
+XMLADA_BUILD_MODE = ["distrib", "Debug", "Production",
+                     "profile", "coverage", "nochecks"]
+
+[origin]
+url="https://github.com/adacore/xmlada/archive/v25.0.0/xmlada-25.0.0.zip"
+hashes=['sha512:7f12fe3af650530590c8199b8900ef903f647b0421603cfee8141ab57321c23b8e5dd1e1f3205476fdac874aaf5666511d822d24f64f263d492966aa1df19f82']