From 7253e60c0309fa520fd75998a98ecd7acdce8040 Mon Sep 17 00:00:00 2001 From: Fabien Chouteau Date: Mon, 31 Oct 2022 10:55:51 +0100 Subject: [PATCH] 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 --- index/au/aunit/aunit-23.0.0.toml | 20 ++++++++++ index/gn/gnatcoll/gnatcoll-23.0.0.toml | 37 +++++++++++++++++++ .../gn/gnatcoll_gmp/gnatcoll_gmp-23.0.0.toml | 25 +++++++++++++ .../gnatcoll_iconv/gnatcoll_iconv-23.0.0.toml | 32 ++++++++++++++++ .../gnatcoll_lzma/gnatcoll_lzma-23.0.0.toml | 25 +++++++++++++ .../gn/gnatcoll_omp/gnatcoll_omp-23.0.0.toml | 25 +++++++++++++ .../gnatcoll_postgres-23.0.0.toml | 26 +++++++++++++ .../gnatcoll_python3-23.0.0.toml | 30 +++++++++++++++ .../gnatcoll_readline-23.0.0.toml | 25 +++++++++++++ .../gn/gnatcoll_sql/gnatcoll_sql-23.0.0.toml | 24 ++++++++++++ .../gnatcoll_sqlite-23.0.0.toml | 25 +++++++++++++ .../gnatcoll_syslog-23.0.0.toml | 28 ++++++++++++++ .../gnatcoll_xref/gnatcoll_xref-23.0.0.toml | 27 ++++++++++++++ .../gnatcoll_zlib/gnatcoll_zlib-23.0.0.toml | 25 +++++++++++++ .../langkit_support-23.0.0.toml | 22 +++++++++++ index/li/libadalang/libadalang-23.0.0.toml | 21 +++++++++++ .../libadalang_tools-23.0.0.toml | 28 ++++++++++++++ index/li/libgpr/libgpr-23.0.0.toml | 23 ++++++++++++ index/st/startup_gen/startup_gen-23.0.0.toml | 23 ++++++++++++ .../templates_parser-23.0.0.toml | 36 ++++++++++++++++++ index/wi/win32ada/win32ada-23.0.0.toml | 28 ++++++++++++++ index/xm/xmlada/xmlada-23.0.0.toml | 33 +++++++++++++++++ 22 files changed, 588 insertions(+) create mode 100644 index/au/aunit/aunit-23.0.0.toml create mode 100644 index/gn/gnatcoll/gnatcoll-23.0.0.toml create mode 100644 index/gn/gnatcoll_gmp/gnatcoll_gmp-23.0.0.toml create mode 100644 index/gn/gnatcoll_iconv/gnatcoll_iconv-23.0.0.toml create mode 100644 index/gn/gnatcoll_lzma/gnatcoll_lzma-23.0.0.toml create mode 100644 index/gn/gnatcoll_omp/gnatcoll_omp-23.0.0.toml create mode 100644 index/gn/gnatcoll_postgres/gnatcoll_postgres-23.0.0.toml create mode 100644 index/gn/gnatcoll_python3/gnatcoll_python3-23.0.0.toml create mode 100644 index/gn/gnatcoll_readline/gnatcoll_readline-23.0.0.toml create mode 100644 index/gn/gnatcoll_sql/gnatcoll_sql-23.0.0.toml create mode 100644 index/gn/gnatcoll_sqlite/gnatcoll_sqlite-23.0.0.toml create mode 100644 index/gn/gnatcoll_syslog/gnatcoll_syslog-23.0.0.toml create mode 100644 index/gn/gnatcoll_xref/gnatcoll_xref-23.0.0.toml create mode 100644 index/gn/gnatcoll_zlib/gnatcoll_zlib-23.0.0.toml create mode 100644 index/la/langkit_support/langkit_support-23.0.0.toml create mode 100644 index/li/libadalang/libadalang-23.0.0.toml create mode 100644 index/li/libadalang_tools/libadalang_tools-23.0.0.toml create mode 100644 index/li/libgpr/libgpr-23.0.0.toml create mode 100644 index/st/startup_gen/startup_gen-23.0.0.toml create mode 100644 index/te/templates_parser/templates_parser-23.0.0.toml create mode 100644 index/wi/win32ada/win32ada-23.0.0.toml create mode 100644 index/xm/xmlada/xmlada-23.0.0.toml diff --git a/index/au/aunit/aunit-23.0.0.toml b/index/au/aunit/aunit-23.0.0.toml new file mode 100644 index 00000000..08a1bd03 --- /dev/null +++ b/index/au/aunit/aunit-23.0.0.toml @@ -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"] diff --git a/index/gn/gnatcoll/gnatcoll-23.0.0.toml b/index/gn/gnatcoll/gnatcoll-23.0.0.toml new file mode 100644 index 00000000..36163812 --- /dev/null +++ b/index/gn/gnatcoll/gnatcoll-23.0.0.toml @@ -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'] diff --git a/index/gn/gnatcoll_gmp/gnatcoll_gmp-23.0.0.toml b/index/gn/gnatcoll_gmp/gnatcoll_gmp-23.0.0.toml new file mode 100644 index 00000000..6509181a --- /dev/null +++ b/index/gn/gnatcoll_gmp/gnatcoll_gmp-23.0.0.toml @@ -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'] diff --git a/index/gn/gnatcoll_iconv/gnatcoll_iconv-23.0.0.toml b/index/gn/gnatcoll_iconv/gnatcoll_iconv-23.0.0.toml new file mode 100644 index 00000000..a03aeb2e --- /dev/null +++ b/index/gn/gnatcoll_iconv/gnatcoll_iconv-23.0.0.toml @@ -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'] diff --git a/index/gn/gnatcoll_lzma/gnatcoll_lzma-23.0.0.toml b/index/gn/gnatcoll_lzma/gnatcoll_lzma-23.0.0.toml new file mode 100644 index 00000000..e452c6e6 --- /dev/null +++ b/index/gn/gnatcoll_lzma/gnatcoll_lzma-23.0.0.toml @@ -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'] diff --git a/index/gn/gnatcoll_omp/gnatcoll_omp-23.0.0.toml b/index/gn/gnatcoll_omp/gnatcoll_omp-23.0.0.toml new file mode 100644 index 00000000..334f17fa --- /dev/null +++ b/index/gn/gnatcoll_omp/gnatcoll_omp-23.0.0.toml @@ -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'] diff --git a/index/gn/gnatcoll_postgres/gnatcoll_postgres-23.0.0.toml b/index/gn/gnatcoll_postgres/gnatcoll_postgres-23.0.0.toml new file mode 100644 index 00000000..33bda815 --- /dev/null +++ b/index/gn/gnatcoll_postgres/gnatcoll_postgres-23.0.0.toml @@ -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'] diff --git a/index/gn/gnatcoll_python3/gnatcoll_python3-23.0.0.toml b/index/gn/gnatcoll_python3/gnatcoll_python3-23.0.0.toml new file mode 100644 index 00000000..34e8bf02 --- /dev/null +++ b/index/gn/gnatcoll_python3/gnatcoll_python3-23.0.0.toml @@ -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'] diff --git a/index/gn/gnatcoll_readline/gnatcoll_readline-23.0.0.toml b/index/gn/gnatcoll_readline/gnatcoll_readline-23.0.0.toml new file mode 100644 index 00000000..6957dfda --- /dev/null +++ b/index/gn/gnatcoll_readline/gnatcoll_readline-23.0.0.toml @@ -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'] diff --git a/index/gn/gnatcoll_sql/gnatcoll_sql-23.0.0.toml b/index/gn/gnatcoll_sql/gnatcoll_sql-23.0.0.toml new file mode 100644 index 00000000..bad2b28f --- /dev/null +++ b/index/gn/gnatcoll_sql/gnatcoll_sql-23.0.0.toml @@ -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'] diff --git a/index/gn/gnatcoll_sqlite/gnatcoll_sqlite-23.0.0.toml b/index/gn/gnatcoll_sqlite/gnatcoll_sqlite-23.0.0.toml new file mode 100644 index 00000000..bd34ed80 --- /dev/null +++ b/index/gn/gnatcoll_sqlite/gnatcoll_sqlite-23.0.0.toml @@ -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'] diff --git a/index/gn/gnatcoll_syslog/gnatcoll_syslog-23.0.0.toml b/index/gn/gnatcoll_syslog/gnatcoll_syslog-23.0.0.toml new file mode 100644 index 00000000..75267ae6 --- /dev/null +++ b/index/gn/gnatcoll_syslog/gnatcoll_syslog-23.0.0.toml @@ -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'] diff --git a/index/gn/gnatcoll_xref/gnatcoll_xref-23.0.0.toml b/index/gn/gnatcoll_xref/gnatcoll_xref-23.0.0.toml new file mode 100644 index 00000000..2cc15bd9 --- /dev/null +++ b/index/gn/gnatcoll_xref/gnatcoll_xref-23.0.0.toml @@ -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'] diff --git a/index/gn/gnatcoll_zlib/gnatcoll_zlib-23.0.0.toml b/index/gn/gnatcoll_zlib/gnatcoll_zlib-23.0.0.toml new file mode 100644 index 00000000..c69249b6 --- /dev/null +++ b/index/gn/gnatcoll_zlib/gnatcoll_zlib-23.0.0.toml @@ -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'] diff --git a/index/la/langkit_support/langkit_support-23.0.0.toml b/index/la/langkit_support/langkit_support-23.0.0.toml new file mode 100644 index 00000000..56d58d04 --- /dev/null +++ b/index/la/langkit_support/langkit_support-23.0.0.toml @@ -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 "] +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" diff --git a/index/li/libadalang/libadalang-23.0.0.toml b/index/li/libadalang/libadalang-23.0.0.toml new file mode 100644 index 00000000..411750d7 --- /dev/null +++ b/index/li/libadalang/libadalang-23.0.0.toml @@ -0,0 +1,21 @@ +name = "libadalang" +description = "Ada semantic analysis library" +version = "23.0.0" + +authors = ["AdaCore"] +maintainers = ["Pierre-Marie de Rodat "] +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" diff --git a/index/li/libadalang_tools/libadalang_tools-23.0.0.toml b/index/li/libadalang_tools/libadalang_tools-23.0.0.toml new file mode 100644 index 00000000..f2faa38e --- /dev/null +++ b/index/li/libadalang_tools/libadalang_tools-23.0.0.toml @@ -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 ", "Max Reznik "] +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"] diff --git a/index/li/libgpr/libgpr-23.0.0.toml b/index/li/libgpr/libgpr-23.0.0.toml new file mode 100644 index 00000000..3ef196fb --- /dev/null +++ b/index/li/libgpr/libgpr-23.0.0.toml @@ -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'] diff --git a/index/st/startup_gen/startup_gen-23.0.0.toml b/index/st/startup_gen/startup_gen-23.0.0.toml new file mode 100644 index 00000000..9cc8fd44 --- /dev/null +++ b/index/st/startup_gen/startup_gen-23.0.0.toml @@ -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"] diff --git a/index/te/templates_parser/templates_parser-23.0.0.toml b/index/te/templates_parser/templates_parser-23.0.0.toml new file mode 100644 index 00000000..eb97d0a1 --- /dev/null +++ b/index/te/templates_parser/templates_parser-23.0.0.toml @@ -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'] diff --git a/index/wi/win32ada/win32ada-23.0.0.toml b/index/wi/win32ada/win32ada-23.0.0.toml new file mode 100644 index 00000000..46b51327 --- /dev/null +++ b/index/wi/win32ada/win32ada-23.0.0.toml @@ -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'] diff --git a/index/xm/xmlada/xmlada-23.0.0.toml b/index/xm/xmlada/xmlada-23.0.0.toml new file mode 100644 index 00000000..1957baeb --- /dev/null +++ b/index/xm/xmlada/xmlada-23.0.0.toml @@ -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']