aunit, gnatcoll, lal, xmlada... 23.0.0 (#668)
* First batch of 23.0.0 releases for GNATcoll, LAL, XMLAda, etc. * Update libadalang_tools-23.0.0.toml
This commit is contained in:
@@ -0,0 +1,20 @@
|
||||
description = "Ada unit test framework"
|
||||
name = "aunit"
|
||||
version = "23.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/v23.0.0/aunit-23.0.0.zip"
|
||||
hashes=["sha512:84ce7d0b5b1af66a171711ee707b6082dddd306798084a43dc337d46d8e61252982b9c25f9c2d73bd6f01ec088337e4c2386dbf7a5cf04180c1c525393cd4c8f"]
|
||||
@@ -0,0 +1,37 @@
|
||||
name = "gnatcoll"
|
||||
version = "23.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 = "23.0.0"
|
||||
GNATCOLL_BUILD_MODE = "PROD"
|
||||
|
||||
[[depends-on]]
|
||||
libgpr = "~23.0.0"
|
||||
|
||||
[origin]
|
||||
url= "https://github.com/AdaCore/gnatcoll-core/archive/v23.0.0/gnatcoll-core-23.0.0.zip"
|
||||
hashes=['sha512:29478a20d96b83f7f1ded15c5e5129b00566ca1725550697cdd95366c21d8e50a8f296850b2adf68c3a7a339ffa4ac9c9a58e76058f3210d9b91e0bd138ae9bc']
|
||||
@@ -0,0 +1,25 @@
|
||||
name = "gnatcoll_gmp"
|
||||
version = "23.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 = "~23.0.0"
|
||||
libgmp = "*"
|
||||
|
||||
[origin]
|
||||
url= "https://github.com/AdaCore/gnatcoll-bindings/archive/v23.0.0/gnatcoll-bindings-23.0.0.zip"
|
||||
hashes=['sha512:57de4a1ad9e6741e11227e767334a00b6e71a0f2887eda7a4887d8a4c7728676476332c2a77d48a30b80ed3e50e4e0552d07a34ad75e33b716f619a363291bfe']
|
||||
@@ -0,0 +1,32 @@
|
||||
name = "gnatcoll_iconv"
|
||||
version = "23.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 = "~23.0.0"
|
||||
[depends-on."case(os)".windows]
|
||||
libiconv = "*"
|
||||
|
||||
[origin]
|
||||
url= "https://github.com/AdaCore/gnatcoll-bindings/archive/v23.0.0/gnatcoll-bindings-23.0.0.zip"
|
||||
hashes=['sha512:57de4a1ad9e6741e11227e767334a00b6e71a0f2887eda7a4887d8a4c7728676476332c2a77d48a30b80ed3e50e4e0552d07a34ad75e33b716f619a363291bfe']
|
||||
@@ -0,0 +1,25 @@
|
||||
name = "gnatcoll_lzma"
|
||||
version = "23.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 = "~23.0.0"
|
||||
liblzma = "*"
|
||||
|
||||
[origin]
|
||||
url= "https://github.com/AdaCore/gnatcoll-bindings/archive/v23.0.0/gnatcoll-bindings-23.0.0.zip"
|
||||
hashes=['sha512:57de4a1ad9e6741e11227e767334a00b6e71a0f2887eda7a4887d8a4c7728676476332c2a77d48a30b80ed3e50e4e0552d07a34ad75e33b716f619a363291bfe']
|
||||
@@ -0,0 +1,25 @@
|
||||
name = "gnatcoll_omp"
|
||||
version = "23.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 = "~23.0.0"
|
||||
libgomp = "*"
|
||||
|
||||
[origin]
|
||||
url= "https://github.com/AdaCore/gnatcoll-bindings/archive/v23.0.0/gnatcoll-bindings-23.0.0.zip"
|
||||
hashes=['sha512:57de4a1ad9e6741e11227e767334a00b6e71a0f2887eda7a4887d8a4c7728676476332c2a77d48a30b80ed3e50e4e0552d07a34ad75e33b716f619a363291bfe']
|
||||
@@ -0,0 +1,26 @@
|
||||
name = "gnatcoll_postgres"
|
||||
version = "23.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 = "~23.0.0"
|
||||
gnatcoll_sql = "~23.0.0"
|
||||
postgresql = "*"
|
||||
|
||||
[origin]
|
||||
url="https://github.com/AdaCore/gnatcoll-db/archive/v23.0.0/gnatcoll-db-23.0.0.zip"
|
||||
hashes=['sha512:adf8e40fb7f3ad64be9d5342c8b2017074c1a6b5f7e26ca5ae8f33a3e46d2c981ac3e8be5d0d4be709bed153868ce52935e15706e43f8b5a7dc83a5b63fd7fd8']
|
||||
@@ -0,0 +1,30 @@
|
||||
name = "gnatcoll_python3"
|
||||
version = "23.0.0"
|
||||
description = "GNAT Components Collection - python3 binding"
|
||||
website = "https://github.com/adacore/gnatcoll-bindings"
|
||||
authors = ["AdaCore"]
|
||||
licenses = "GPL-3.0-only WITH GCC-exception-3.1"
|
||||
maintainers = ["chouteau@adacore.com"]
|
||||
maintainers-logins = ["Fabien-Chouteau"]
|
||||
project-files = ["python3/gnatcoll_python.gpr"]
|
||||
tags = ["gnatcoll", "bindings", "python", "python3"]
|
||||
|
||||
[gpr-externals]
|
||||
GNATCOLL_BUILD_MODE = ["DEBUG", "PROD"]
|
||||
LIBRARY_TYPE = ["static", "relocatable", "static-pic"]
|
||||
|
||||
[environment.'case(distribution)']
|
||||
"debian|ubuntu" = { C_INCLUDE_PATH.append = "${DISTRIB_ROOT}/usr/include/python3.7/:${DISTRIB_ROOT}/usr/include/python3.8/"}
|
||||
msys2 = { C_INCLUDE_PATH.append = "${DISTRIB_ROOT}/mingw64/include/python3.10/" }
|
||||
|
||||
[available.'case(distribution)']
|
||||
'debian|ubuntu|msys2' = true
|
||||
'...' = false
|
||||
|
||||
[[depends-on]]
|
||||
gnatcoll = "~23.0.0"
|
||||
libpython3dev = "^3.10"
|
||||
|
||||
[origin]
|
||||
url= "https://github.com/AdaCore/gnatcoll-bindings/archive/v23.0.0/gnatcoll-bindings-23.0.0.zip"
|
||||
hashes=['sha512:57de4a1ad9e6741e11227e767334a00b6e71a0f2887eda7a4887d8a4c7728676476332c2a77d48a30b80ed3e50e4e0552d07a34ad75e33b716f619a363291bfe']
|
||||
@@ -0,0 +1,25 @@
|
||||
name = "gnatcoll_readline"
|
||||
version = "23.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 = "~23.0.0"
|
||||
libreadline = "*"
|
||||
|
||||
[origin]
|
||||
url= "https://github.com/AdaCore/gnatcoll-bindings/archive/v23.0.0/gnatcoll-bindings-23.0.0.zip"
|
||||
hashes=['sha512:57de4a1ad9e6741e11227e767334a00b6e71a0f2887eda7a4887d8a4c7728676476332c2a77d48a30b80ed3e50e4e0552d07a34ad75e33b716f619a363291bfe']
|
||||
@@ -0,0 +1,24 @@
|
||||
name = "gnatcoll_sql"
|
||||
version = "23.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 = "~23.0.0"
|
||||
|
||||
[origin]
|
||||
url="https://github.com/AdaCore/gnatcoll-db/archive/v23.0.0/gnatcoll-db-23.0.0.zip"
|
||||
hashes=['sha512:adf8e40fb7f3ad64be9d5342c8b2017074c1a6b5f7e26ca5ae8f33a3e46d2c981ac3e8be5d0d4be709bed153868ce52935e15706e43f8b5a7dc83a5b63fd7fd8']
|
||||
@@ -0,0 +1,25 @@
|
||||
name = "gnatcoll_sqlite"
|
||||
version = "23.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 = "~23.0.0"
|
||||
gnatcoll_sql = "~23.0.0"
|
||||
|
||||
[origin]
|
||||
url="https://github.com/AdaCore/gnatcoll-db/archive/v23.0.0/gnatcoll-db-23.0.0.zip"
|
||||
hashes=['sha512:adf8e40fb7f3ad64be9d5342c8b2017074c1a6b5f7e26ca5ae8f33a3e46d2c981ac3e8be5d0d4be709bed153868ce52935e15706e43f8b5a7dc83a5b63fd7fd8']
|
||||
@@ -0,0 +1,28 @@
|
||||
name = "gnatcoll_syslog"
|
||||
version = "23.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 = "~23.0.0"
|
||||
|
||||
[origin]
|
||||
url= "https://github.com/AdaCore/gnatcoll-bindings/archive/v23.0.0/gnatcoll-bindings-23.0.0.zip"
|
||||
hashes=['sha512:57de4a1ad9e6741e11227e767334a00b6e71a0f2887eda7a4887d8a4c7728676476332c2a77d48a30b80ed3e50e4e0552d07a34ad75e33b716f619a363291bfe']
|
||||
@@ -0,0 +1,27 @@
|
||||
name = "gnatcoll_xref"
|
||||
version = "23.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 = "~23.0.0"
|
||||
gnatcoll_iconv = "~23.0.0"
|
||||
gnatcoll_sql = "~23.0.0"
|
||||
gnatcoll_sqlite = "~23.0.0"
|
||||
|
||||
[origin]
|
||||
url="https://github.com/AdaCore/gnatcoll-db/archive/v23.0.0/gnatcoll-db-23.0.0.zip"
|
||||
hashes=['sha512:adf8e40fb7f3ad64be9d5342c8b2017074c1a6b5f7e26ca5ae8f33a3e46d2c981ac3e8be5d0d4be709bed153868ce52935e15706e43f8b5a7dc83a5b63fd7fd8']
|
||||
@@ -0,0 +1,25 @@
|
||||
name = "gnatcoll_zlib"
|
||||
version = "23.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 = "~23.0.0"
|
||||
zlib = "*"
|
||||
|
||||
[origin]
|
||||
url= "https://github.com/AdaCore/gnatcoll-bindings/archive/v23.0.0/gnatcoll-bindings-23.0.0.zip"
|
||||
hashes=['sha512:57de4a1ad9e6741e11227e767334a00b6e71a0f2887eda7a4887d8a4c7728676476332c2a77d48a30b80ed3e50e4e0552d07a34ad75e33b716f619a363291bfe']
|
||||
@@ -0,0 +1,22 @@
|
||||
name = "langkit_support"
|
||||
description = "Runtime support library for Langkit-generated libraries"
|
||||
version = "23.0.0"
|
||||
|
||||
authors = ["AdaCore"]
|
||||
maintainers = ["Pierre-Marie de Rodat <pmderodat@kawie.fr>"]
|
||||
maintainers-logins = ["pmderodat"]
|
||||
licenses = "Apache-2.0"
|
||||
website = "https://github.com/AdaCore/langkit"
|
||||
|
||||
[gpr-set-externals."case(toolchain)".system]
|
||||
LIBRARY_TYPE = "relocatable"
|
||||
|
||||
[origin]
|
||||
url = "https://github.com/AdaCore/langkit/releases/download/v23.0.0/langkit_support-23.0.0.tar.gz"
|
||||
archive-name = "langkit_support-23.0.0.tar.gz"
|
||||
hashes = ["sha512:d934b966e81d3b48529f2e86e09bedc6258f6191d20422502e87ec998e096ff72dfa61f3270f1e68017b86372c4e6a4b17e03d6be431c1a1567770c78e3596a8"]
|
||||
|
||||
[[depends-on]]
|
||||
gnatcoll = "^23"
|
||||
gnatcoll_iconv = "^23"
|
||||
gnatcoll_gmp = "^23"
|
||||
@@ -0,0 +1,21 @@
|
||||
name = "libadalang"
|
||||
description = "Ada semantic analysis library"
|
||||
version = "23.0.0"
|
||||
|
||||
authors = ["AdaCore"]
|
||||
maintainers = ["Pierre-Marie de Rodat <pmderodat@kawie.fr>"]
|
||||
maintainers-logins = ["pmderodat"]
|
||||
licenses = "Apache-2.0"
|
||||
website = "https://github.com/AdaCore/libadalang"
|
||||
tags = ["libadalang", "static-analysis"]
|
||||
|
||||
[origin]
|
||||
url = "https://github.com/AdaCore/libadalang/releases/download/v23.0.0/libadalang-23.0.0.tar.gz"
|
||||
archive-name = "libadalang-23.0.0.tar.gz"
|
||||
hashes = ["sha512:f27a5d00c3aa7a9356c715ac5d1e8d7ce6377927822c97d4a9fa014da843eccdfcee168e4baba04bb6c2165c5e4dde9dab89e2e5fec1a330fae2f0d083ee989c"]
|
||||
|
||||
[[depends-on]]
|
||||
gnatcoll = "^23"
|
||||
gnatcoll_gmp = "^23"
|
||||
gnatcoll_iconv = "^23"
|
||||
langkit_support = "^23"
|
||||
@@ -0,0 +1,28 @@
|
||||
name = "libadalang_tools"
|
||||
description = "Ada semantic analysis library extension and tools"
|
||||
version = "23.0.0"
|
||||
|
||||
authors = ["AdaCore"]
|
||||
maintainers = ["Pierre-Marie de Rodat <pmderodat@kawie.fr>", "Max Reznik <reznik@adacore.com>"]
|
||||
maintainers-logins = ["pmderodat", "reznikmm"]
|
||||
licenses = "GPL-3.0-only WITH GCC-exception-3.1"
|
||||
website = "https://github.com/AdaCore/libadalang-tools"
|
||||
tags = ["libadalang", "static-analysis", "metric", "formatting", "generator", "gnatmetric", "gnatpp", "gnatstub", "gnattest"]
|
||||
project-files = ["src/lal_tools.gpr", "src/build.gpr"]
|
||||
executables = ["gnatmetric", "gnatpp", "gnatstub", "gnattest"]
|
||||
|
||||
[origin]
|
||||
url = "https://github.com/AdaCore/libadalang-tools/archive/v23.0.0/libadalang-tools-23.0.0.zip"
|
||||
hashes = ["sha512:75f926792a1c693e1d958dcb73e335e8ea32a5b0c97e79b9f4eed4121b9b1609d5f8a75e83090baf51ff9830aba2b10a7d820b9837830b9dcb7313161e3e1bca"]
|
||||
|
||||
[[depends-on]]
|
||||
libadalang = "^23.0.0"
|
||||
templates_parser = "^23.0.0"
|
||||
|
||||
[[actions.'case(os)'.windows]]
|
||||
type = "post-fetch"
|
||||
command = ["cmd.exe", "/c", "del /Q valgrind"]
|
||||
|
||||
[[actions.'case(os)'.'...']]
|
||||
type = "post-fetch"
|
||||
command = ["rm", "-rf", "valgrind"]
|
||||
@@ -0,0 +1,23 @@
|
||||
name = "libgpr"
|
||||
version = "23.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 = "~23.0.0"
|
||||
|
||||
[origin]
|
||||
url="https://github.com/AdaCore/gprbuild/archive/v23.0.0/gprbuild-23.0.0.zip"
|
||||
hashes=['sha512:34e332b981e907c59a4a354624a3048815c73daf662146aac3db7f1dc983990360a99a04df82d9e3b23d5ba8521f76eb7adb6284cac4ad3f959a896a8a5a8fad']
|
||||
@@ -0,0 +1,23 @@
|
||||
name = "startup_gen"
|
||||
version = "23.0.0"
|
||||
description = "Generates startup files (crt0 and linker script)"
|
||||
website = "https://github.com/AdaCore/startup-gen"
|
||||
authors = ["AdaCore"]
|
||||
executables = ["startup-gen"]
|
||||
licenses = "GPL-3.0-or-later"
|
||||
maintainers = ["chouteau@adacore.com"]
|
||||
maintainers-logins = ["Fabien-Chouteau"]
|
||||
project-files = ["startup_gen.gpr"]
|
||||
tags = ["embedded", "zfp", "nostd"]
|
||||
|
||||
[configuration]
|
||||
disabled = true
|
||||
|
||||
[[depends-on]]
|
||||
gnatcoll = "~23.0.0"
|
||||
libgpr = "~23.0.0"
|
||||
templates_parser = "~23.0.0"
|
||||
|
||||
[origin]
|
||||
url="https://github.com/AdaCore/startup-gen/archive/v23.0.0/startup-gen-23.0.0.zip"
|
||||
hashes=["sha512:f9b12904e0dfc3e7b8ba0d7e7b908bc9622246e68faca4b1b689d68f87d0db64345ee7f8aa8c2118eddfbaef048ca98daf1cf226978f872e5007e370fcea642e"]
|
||||
@@ -0,0 +1,36 @@
|
||||
name = "templates_parser"
|
||||
version = "23.0.0"
|
||||
description = "Templates Parser: File generation from templates in Ada"
|
||||
website = "https://github.com/AdaCore/templates-parser"
|
||||
authors = ["AdaCore"]
|
||||
licenses = "GPL-3.0-or-later WITH GCC-exception-3.1"
|
||||
maintainers = ["chouteau@adacore.com"]
|
||||
maintainers-logins = ["Fabien-Chouteau"]
|
||||
project-files = ["templates_parser.gpr"]
|
||||
|
||||
[configuration]
|
||||
disabled = true
|
||||
|
||||
[[actions]]
|
||||
type = "post-fetch"
|
||||
command = ["cp", "config/tp_xmlada_installed.gpr", "tp_xmlada.gpr"]
|
||||
|
||||
[gpr-externals]
|
||||
LIBRARY_TYPE = ["static", "relocatable"]
|
||||
PRJ_BUILD = ["Debug", "Release"]
|
||||
TP_TASKING = ["No_Tasking", "Standard_Tasking"]
|
||||
TP_XMLADA = ["Installed", "Disabled"]
|
||||
|
||||
[gpr-set-externals]
|
||||
TP_XMLADA = "Installed"
|
||||
PRJ_BUILD = "Release"
|
||||
|
||||
[environment]
|
||||
ADAFLAGS.set = "-gnaty-d" # Disable no DOS line terminators check
|
||||
|
||||
[[depends-on]]
|
||||
xmlada = "~23.0.0"
|
||||
|
||||
[origin]
|
||||
url="https://github.com/AdaCore/templates-parser/archive/v23.0.0/templates-parser-23.0.0.zip"
|
||||
hashes=['sha512:3a900ee7614efa41ff04959fe980cdee47a046c9a40d34b7ead01620b8989721771c0d4154c9eb885fc53c9e725d10f8d721a756c55c53397100e32bc59bceac']
|
||||
@@ -0,0 +1,28 @@
|
||||
name = "win32ada"
|
||||
version = "23.0.0"
|
||||
description = "Ada API to the Windows library"
|
||||
website = "https://github.com/adacore/win32ada"
|
||||
authors = ["Intermetrics", "AdaCore"]
|
||||
maintainers = ["chouteau@adacore.com"]
|
||||
maintainers-logins = ["Fabien-Chouteau"]
|
||||
tags = ["windows", "api"]
|
||||
|
||||
[configuration]
|
||||
disabled = true
|
||||
|
||||
[gpr-externals]
|
||||
PRJ_TARGET = ["Win32", "Win64"]
|
||||
PRJ_BUILD = ["Debug", "Release"]
|
||||
|
||||
[available.'case(os)']
|
||||
windows = true
|
||||
'...' = false
|
||||
|
||||
[gpr-set-externals]
|
||||
TARGET = "Win64"
|
||||
PRJ_TARGET = "Win64"
|
||||
PRJ_BUILD = "Release"
|
||||
|
||||
[origin]
|
||||
url= "https://github.com/AdaCore/win32ada/archive/v23.0.0/win32ada-23.0.0.zip"
|
||||
hashes=['sha512:680108e6097837aa85403e0a7c9045380eb979187faf4400f1537502d3e224edf7a6f9e1f351783901e1b7d815c61b5cfcb7df8b1bf93c1670df280b32ca41a1']
|
||||
@@ -0,0 +1,33 @@
|
||||
name = "xmlada"
|
||||
version = "23.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/v23.0.0/xmlada-23.0.0.zip"
|
||||
hashes=['sha512:70494123705a6e6006050146444b2f96e2274f01b59f6d2810d3e2e13a46a83a4a13721725a9ba85d24a3950df079e7f4fa2d8acc5ce5a2867ab3ae2b9fd5cc8']
|
||||
Reference in New Issue
Block a user