AdaCore libraries 24.0 (#921)

This commit is contained in:
Fabien Chouteau
2023-11-20 18:38:49 +01:00
committed by GitHub
parent 9c1101813a
commit 49b8a71a00
15 changed files with 400 additions and 0 deletions
+20
View File
@@ -0,0 +1,20 @@
description = "Ada unit test framework"
name = "aunit"
version = "24.0.0"
authors = ["AdaCore"]
licenses = "GPL-3.0-or-later WITH GCC-exception-3.1"
maintainers = ["chouteau@adacore.com"]
maintainers-logins = ["Fabien-Chouteau"]
project-files = ["lib/gnat/aunit.gpr"]
tags=["unit", "test", "unit-test"]
[configuration]
disabled = true
[gpr-externals]
AUNIT_BUILD_MODE = ["Devel", "Install"]
AUNIT_RUNTIME = ["full", "zfp", "zfp-cross", "ravenscar", "ravenscar-cert", "cert"]
[origin]
url="https://github.com/adacore/aunit/archive/v24.0.0/aunit-24.0.0.zip"
hashes=['sha512:67fdc2b6c0c846268252e065d52090f805c68f968d71decf5674824ddc10e6ae7f6ad3156356251953940cbcbfce043d8fe29f1824e15cfd264f52049aeb9476']
+37
View File
@@ -0,0 +1,37 @@
name = "gnatcoll"
version = "24.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 = ["chouteau@adacore.com"]
maintainers-logins = ["Fabien-Chouteau"]
project-files = ["gnatcoll.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 = "24.0.0"
GNATCOLL_BUILD_MODE = "PROD"
[[depends-on]]
libgpr = "~24.0.0"
[origin]
url="https://github.com/adacore/gnatcoll-core/archive/v24.0.0/gnatcoll-core-24.0.0.zip"
hashes=['sha512:11c512d1b4adec34953bb4247c92d01a1333d6246a925317a5b3d2b30ff05f32246d6e7cfec12df243f4e58d4820e91ac506ff758e8856e527cb0674c1ee029a']
@@ -0,0 +1,25 @@
name = "gnatcoll_gmp"
version = "24.0.0"
description = "GNAT Components Collection - GNU Multiple Precision Arithmetic binding"
website = "https://github.com/adacore/gnatcoll-bindings"
authors = ["AdaCore"]
licenses = "GPL-3.0-or-later WITH GCC-exception-3.1"
maintainers = ["chouteau@adacore.com"]
maintainers-logins = ["Fabien-Chouteau"]
project-files = ["gmp/gnatcoll_gmp.gpr"]
tags = ["gnatcoll", "bindings", "gmp", "arbitrary", "precision", "arithmetic"]
[configuration]
disabled = true
[gpr-externals]
GNATCOLL_BUILD_MODE = ["DEBUG", "PROD"]
LIBRARY_TYPE = ["static", "relocatable", "static-pic"]
[[depends-on]]
gnatcoll = "~24.0.0"
libgmp = "*"
[origin]
url="https://github.com/adacore/gnatcoll-bindings/archive/v24.0.0/gnatcoll-bindings-24.0.0.zip"
hashes=['sha512:e90c5b4d04d607f5628abccea2eb6daf52f7385a320ab2ccd1782c27e2f1aff51ae7e8896041533fd3d22f32679100439331034499fd08f8cda7e21f440508b2']
@@ -0,0 +1,32 @@
name = "gnatcoll_iconv"
version = "24.0.0"
description = "GNAT Components Collection - iconv binding"
website = "https://github.com/adacore/gnatcoll-bindings"
authors = ["AdaCore"]
licenses = "GPL-3.0-or-later WITH GCC-exception-3.1"
maintainers = ["chouteau@adacore.com"]
maintainers-logins = ["Fabien-Chouteau"]
project-files = ["iconv/gnatcoll_iconv.gpr"]
tags = ["gnatcoll", "bindings", "iconv", "i18n"]
[configuration]
disabled = true
[gpr-externals]
GNATCOLL_BUILD_MODE = ["DEBUG", "PROD"]
LIBRARY_TYPE = ["static", "relocatable", "static-pic"]
# GNATCOLL_ICONV_OPT should be empty on linux but gprbuild consider empty
# environement variable as not being set. So we use a harmless linker option to
# have a non-empty GNATCOLL_ICONV_OPT.
[gpr-set-externals."case(os)".linux]
GNATCOLL_ICONV_OPT = "-v"
[[depends-on]]
gnatcoll = "~24.0.0"
[depends-on."case(os)".windows]
libiconv = "*"
[origin]
url="https://github.com/adacore/gnatcoll-bindings/archive/v24.0.0/gnatcoll-bindings-24.0.0.zip"
hashes=['sha512:e90c5b4d04d607f5628abccea2eb6daf52f7385a320ab2ccd1782c27e2f1aff51ae7e8896041533fd3d22f32679100439331034499fd08f8cda7e21f440508b2']
@@ -0,0 +1,25 @@
name = "gnatcoll_lzma"
version = "24.0.0"
description = "GNAT Components Collection - lzma binding"
website = "https://github.com/adacore/gnatcoll-bindings"
authors = ["AdaCore"]
licenses = "GPL-3.0-or-later WITH GCC-exception-3.1"
maintainers = ["chouteau@adacore.com"]
maintainers-logins = ["Fabien-Chouteau"]
project-files = ["lzma/gnatcoll_lzma.gpr"]
tags = ["gnatcoll", "bindings", "lzma", "compression", "7z", "7zip"]
[configuration]
disabled = true
[gpr-externals]
GNATCOLL_BUILD_MODE = ["DEBUG", "PROD"]
LIBRARY_TYPE = ["static", "relocatable", "static-pic"]
[[depends-on]]
gnatcoll = "~24.0.0"
liblzma = "*"
[origin]
url="https://github.com/adacore/gnatcoll-bindings/archive/v24.0.0/gnatcoll-bindings-24.0.0.zip"
hashes=['sha512:e90c5b4d04d607f5628abccea2eb6daf52f7385a320ab2ccd1782c27e2f1aff51ae7e8896041533fd3d22f32679100439331034499fd08f8cda7e21f440508b2']
@@ -0,0 +1,25 @@
name = "gnatcoll_omp"
version = "24.0.0"
description = "GNAT Components Collection - OpenMP binding"
website = "https://github.com/adacore/gnatcoll-bindings"
authors = ["AdaCore"]
licenses = "GPL-3.0-or-later WITH GCC-exception-3.1"
maintainers = ["chouteau@adacore.com"]
maintainers-logins = ["Fabien-Chouteau"]
project-files = ["omp/gnatcoll_omp.gpr"]
tags = ["gnatcoll", "bindings", "openmp", "libgomp"]
[configuration]
disabled = true
[gpr-externals]
GNATCOLL_BUILD_MODE = ["DEBUG", "PROD"]
LIBRARY_TYPE = ["static", "relocatable", "static-pic"]
[[depends-on]]
gnatcoll = "~24.0.0"
libgomp = "*"
[origin]
url="https://github.com/adacore/gnatcoll-bindings/archive/v24.0.0/gnatcoll-bindings-24.0.0.zip"
hashes=['sha512:e90c5b4d04d607f5628abccea2eb6daf52f7385a320ab2ccd1782c27e2f1aff51ae7e8896041533fd3d22f32679100439331034499fd08f8cda7e21f440508b2']
@@ -0,0 +1,26 @@
name = "gnatcoll_postgres"
version = "24.0.0"
description = "GNAT Components Collection - postgres"
website = "https://github.com/adacore/gnatcoll-db"
authors = ["AdaCore"]
licenses = "GPL-3.0-or-later WITH GCC-exception-3.1"
maintainers = ["chouteau@adacore.com"]
maintainers-logins = ["Fabien-Chouteau"]
project-files = ["postgres/gnatcoll_postgres.gpr"]
tags = ["gnatcoll", "gnatcoll-db", "postgres", "postgresql", "database"]
[configuration]
disabled = true
[gpr-externals]
GNATCOLL_BUILD_MODE = ["DEBUG", "PROD"]
LIBRARY_TYPE = ["static", "relocatable", "static-pic"]
[[depends-on]]
gnatcoll = "~24.0.0"
gnatcoll_sql = "~24.0.0"
postgresql = "*"
[origin]
url="https://github.com/adacore/gnatcoll-db/archive/v24.0.0/gnatcoll-db-24.0.0.zip"
hashes=['sha512:4b44508a79296f29e9644e9d1fd10a65f4ca4e8b3c4c30a07085e7c97a3a5e724a0095e9874dd54707feb767ca9c6d456ba144c2c03d491dbd399e3613e7e625']
@@ -0,0 +1,25 @@
name = "gnatcoll_readline"
version = "24.0.0"
description = "GNAT Components Collection - readline binding"
website = "https://github.com/adacore/gnatcoll-bindings"
authors = ["AdaCore"]
licenses = "GPL-3.0-or-later WITH GCC-exception-3.1"
maintainers = ["chouteau@adacore.com"]
maintainers-logins = ["Fabien-Chouteau"]
project-files = ["readline/gnatcoll_readline.gpr"]
tags = ["gnatcoll", "bindings", "readline", "cli"]
[configuration]
disabled = true
[gpr-externals]
GNATCOLL_BUILD_MODE = ["DEBUG", "PROD"]
LIBRARY_TYPE = ["static", "relocatable", "static-pic"]
[[depends-on]]
gnatcoll = "~24.0.0"
libreadline = "*"
[origin]
url="https://github.com/adacore/gnatcoll-bindings/archive/v24.0.0/gnatcoll-bindings-24.0.0.zip"
hashes=['sha512:e90c5b4d04d607f5628abccea2eb6daf52f7385a320ab2ccd1782c27e2f1aff51ae7e8896041533fd3d22f32679100439331034499fd08f8cda7e21f440508b2']
@@ -0,0 +1,24 @@
name = "gnatcoll_sql"
version = "24.0.0"
description = "GNAT Components Collection - sql"
website = "https://github.com/adacore/gnatcoll-db"
authors = ["AdaCore"]
licenses = "GPL-3.0-or-later WITH GCC-exception-3.1"
maintainers = ["chouteau@adacore.com"]
maintainers-logins = ["Fabien-Chouteau"]
project-files = ["sql/gnatcoll_sql.gpr"]
tags = ["gnatcoll", "gnatcoll-db", "sql", "database"]
[configuration]
disabled = true
[gpr-externals]
GNATCOLL_BUILD_MODE = ["DEBUG", "PROD"]
LIBRARY_TYPE = ["static", "relocatable", "static-pic"]
[[depends-on]]
gnatcoll = "~24.0.0"
[origin]
url="https://github.com/adacore/gnatcoll-db/archive/v24.0.0/gnatcoll-db-24.0.0.zip"
hashes=['sha512:4b44508a79296f29e9644e9d1fd10a65f4ca4e8b3c4c30a07085e7c97a3a5e724a0095e9874dd54707feb767ca9c6d456ba144c2c03d491dbd399e3613e7e625']
@@ -0,0 +1,25 @@
name = "gnatcoll_sqlite"
version = "24.0.0"
description = "GNAT Components Collection - sqlite"
website = "https://github.com/adacore/gnatcoll-db"
authors = ["AdaCore"]
licenses = "GPL-3.0-or-later WITH GCC-exception-3.1"
maintainers = ["chouteau@adacore.com"]
maintainers-logins = ["Fabien-Chouteau"]
project-files = ["sqlite/gnatcoll_sqlite.gpr"]
tags = ["gnatcoll", "gnatcoll-db", "sqlite", "sql", "database"]
[configuration]
disabled = true
[gpr-externals]
GNATCOLL_BUILD_MODE = ["DEBUG", "PROD"]
LIBRARY_TYPE = ["static", "relocatable", "static-pic"]
[[depends-on]]
gnatcoll = "~24.0.0"
gnatcoll_sql = "~24.0.0"
[origin]
url="https://github.com/adacore/gnatcoll-db/archive/v24.0.0/gnatcoll-db-24.0.0.zip"
hashes=['sha512:4b44508a79296f29e9644e9d1fd10a65f4ca4e8b3c4c30a07085e7c97a3a5e724a0095e9874dd54707feb767ca9c6d456ba144c2c03d491dbd399e3613e7e625']
@@ -0,0 +1,28 @@
name = "gnatcoll_syslog"
version = "24.0.0"
description = "GNAT Components Collection - syslog binding"
website = "https://github.com/adacore/gnatcoll-bindings"
authors = ["AdaCore"]
licenses = "GPL-3.0-or-later WITH GCC-exception-3.1"
maintainers = ["chouteau@adacore.com"]
maintainers-logins = ["Fabien-Chouteau"]
project-files = ["syslog/gnatcoll_syslog.gpr"]
tags = ["gnatcoll", "bindings", "syslog", "logging"]
[configuration]
disabled = true
[gpr-externals]
GNATCOLL_BUILD_MODE = ["DEBUG", "PROD"]
LIBRARY_TYPE = ["static", "relocatable", "static-pic"]
[available.'case(os)']
'windows' = false
'...' = true
[[depends-on]]
gnatcoll = "~24.0.0"
[origin]
url="https://github.com/adacore/gnatcoll-bindings/archive/v24.0.0/gnatcoll-bindings-24.0.0.zip"
hashes=['sha512:e90c5b4d04d607f5628abccea2eb6daf52f7385a320ab2ccd1782c27e2f1aff51ae7e8896041533fd3d22f32679100439331034499fd08f8cda7e21f440508b2']
@@ -0,0 +1,27 @@
name = "gnatcoll_xref"
version = "24.0.0"
description = "GNAT Components Collection - xref"
website = "https://github.com/adacore/gnatcoll-db"
authors = ["AdaCore"]
licenses = "GPL-3.0-or-later WITH GCC-exception-3.1"
maintainers = ["chouteau@adacore.com"]
maintainers-logins = ["Fabien-Chouteau"]
project-files = ["xref/gnatcoll_xref.gpr"]
tags = ["gnatcoll", "database", "xref", "ali"]
[configuration]
disabled = true
[gpr-externals]
GNATCOLL_BUILD_MODE = ["DEBUG", "PROD"]
LIBRARY_TYPE = ["static", "relocatable", "static-pic"]
[[depends-on]]
gnatcoll = "~24.0.0"
gnatcoll_iconv = "~24.0.0"
gnatcoll_sql = "~24.0.0"
gnatcoll_sqlite = "~24.0.0"
[origin]
url="https://github.com/adacore/gnatcoll-db/archive/v24.0.0/gnatcoll-db-24.0.0.zip"
hashes=['sha512:4b44508a79296f29e9644e9d1fd10a65f4ca4e8b3c4c30a07085e7c97a3a5e724a0095e9874dd54707feb767ca9c6d456ba144c2c03d491dbd399e3613e7e625']
@@ -0,0 +1,25 @@
name = "gnatcoll_zlib"
version = "24.0.0"
description = "GNAT Components Collection - zlib binding"
website = "https://github.com/adacore/gnatcoll-bindings"
authors = ["AdaCore"]
licenses = "GPL-3.0-or-later WITH GCC-exception-3.1"
maintainers = ["chouteau@adacore.com"]
maintainers-logins = ["Fabien-Chouteau"]
project-files = ["zlib/gnatcoll_zlib.gpr"]
tags = ["gnatcoll", "bindings", "zlib", "compression", "zip", "deflate"]
[configuration]
disabled = true
[gpr-externals]
GNATCOLL_BUILD_MODE = ["DEBUG", "PROD"]
LIBRARY_TYPE = ["static", "relocatable", "static-pic"]
[[depends-on]]
gnatcoll = "~24.0.0"
zlib = "*"
[origin]
url="https://github.com/adacore/gnatcoll-bindings/archive/v24.0.0/gnatcoll-bindings-24.0.0.zip"
hashes=['sha512:e90c5b4d04d607f5628abccea2eb6daf52f7385a320ab2ccd1782c27e2f1aff51ae7e8896041533fd3d22f32679100439331034499fd08f8cda7e21f440508b2']
+23
View File
@@ -0,0 +1,23 @@
name = "libgpr"
version = "24.0.0"
description = "GNAT Project File Library"
authors = ["AdaCore"]
licenses = "GPL-3.0-or-later WITH GCC-exception-3.1"
maintainers = ["chouteau@adacore.com"]
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 = "~24.0.0"
[origin]
url="https://github.com/adacore/gprbuild/archive/v24.0.0/gprbuild-24.0.0.zip"
hashes=['sha512:d9c96bdafc02d93f67120203aa3bc62c0be7e9e1d453e48969c5121cb060eb51c2add00397f2d3bf50d592713b08ccd70a6049665d14ad3f2d4ed1bb1be88e02']
+33
View File
@@ -0,0 +1,33 @@
name = "xmlada"
version = "24.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 = ["chouteau@adacore.com"]
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/v24.0.0/xmlada-24.0.0.zip"
hashes=['sha512:ae5a015be13306081cedd9b5f3c8935571bcbc9a8f332c06e175dcce22579d96ba09bb1589aa067a35dd5df64a293af80cdb57e7456b610af15a9c08fe290dd9']