From 74e0c9ea331ce3abbab0bd9b84ecae2870f154ac Mon Sep 17 00:00:00 2001 From: Fabien Chouteau Date: Thu, 31 Oct 2024 12:07:33 +0100 Subject: [PATCH 1/3] gnatdoc, markdown, and libadalang_tools 25.0.0 --- index/gn/gnatdoc/gnatdoc-25.0.0.toml | 26 +++++++++++++++++++ .../libadalang_tools-25.0.0.toml | 21 +++++++++++++++ index/ma/markdown/markdown-25.0.0.toml | 22 ++++++++++++++++ 3 files changed, 69 insertions(+) create mode 100644 index/gn/gnatdoc/gnatdoc-25.0.0.toml create mode 100644 index/li/libadalang_tools/libadalang_tools-25.0.0.toml create mode 100644 index/ma/markdown/markdown-25.0.0.toml diff --git a/index/gn/gnatdoc/gnatdoc-25.0.0.toml b/index/gn/gnatdoc/gnatdoc-25.0.0.toml new file mode 100644 index 000000000..e13fa9631 --- /dev/null +++ b/index/gn/gnatdoc/gnatdoc-25.0.0.toml @@ -0,0 +1,26 @@ +name = "gnatdoc" +description = "GNAT Documentation Generation Tool" +version = "25.0.0" +tags = ["documentation", "tools"] + +authors = ["AdaCore"] +maintainers = ["Vadim Godunko ", "Maxim Reznik "] +maintainers-logins = ["godunko", "reznikmm"] +licenses = "GPL-3.0-or-later WITH GCC-exception-3.1" +website = "https://github.com/AdaCore/gnatdoc" + +executables = ["bin/gnatdoc"] +project-files = ["gnat/gnatdoc.gpr"] + +[configuration] +disabled = true + +[[depends-on]] +vss = "^25" +libgpr2 = "^25" +libadalang = "^25" +markdown = "^25" + +[origin] +url="https://github.com/adacore/gnatdoc/archive/v25.0.0/gnatdoc-25.0.0.zip" +hashes=['sha512:8c5dade224ac1873f4b5eff3a4abbe20bde0c57e7e0ed585a817380949de64302aa605dd5515b510f616da5ce727b5b03612db0b2e2272a82cb6c1c4f0339df7'] diff --git a/index/li/libadalang_tools/libadalang_tools-25.0.0.toml b/index/li/libadalang_tools/libadalang_tools-25.0.0.toml new file mode 100644 index 000000000..01989859d --- /dev/null +++ b/index/li/libadalang_tools/libadalang_tools-25.0.0.toml @@ -0,0 +1,21 @@ +name = "libadalang_tools" +description = "Ada semantic analysis library extension and tools" +version = "25.0.0" + +authors = ["AdaCore"] +maintainers = ["Pierre-Marie de Rodat ", "Max Reznik "] +maintainers-logins = ["pmderodat", "reznikmm"] +licenses = "GPL-3.0-or-later 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"] + +[[depends-on]] +libadalang = "^25.0.0" +templates_parser = "^25.0.0" +vss = "^25.0.0" + +[origin] +url="https://github.com/adacore/libadalang-tools/archive/v25.0.0/libadalang-tools-25.0.0.zip" +hashes=['sha512:5304ba7e839c1b4dbcef2b28cb1cea085bcb395f54d57a4aa129975399a46056e87150be4d0d7f6a989ce8e03660ee5719089ca7dba4bd3aaea6889cd95319ca'] diff --git a/index/ma/markdown/markdown-25.0.0.toml b/index/ma/markdown/markdown-25.0.0.toml new file mode 100644 index 000000000..33def4785 --- /dev/null +++ b/index/ma/markdown/markdown-25.0.0.toml @@ -0,0 +1,22 @@ +name = "markdown" +description = "Markdown parser (draft)" +long-description = "The markdown parser is an early stage of development. Just a few element is implemented and API will change in the future." +version = "25.0.0" +tags = ["markdown", "gfm", "commonmark"] + +authors = ["AdaCore"] +maintainers = ["Max Reznik "] +maintainers-logins = ["reznikmm"] +licenses = "Apache-2.0" + +project-files = ["gnat/markdown.gpr"] + +[configuration] +disabled = true + +[[depends-on]] +vss = "~25.0.0" + +[origin] +url="https://github.com/adacore/markdown/archive/v25.0.0/markdown-25.0.0.zip" +hashes=['sha512:0acbc1c07ba7b21631a19fd568d5e86925e20e9f03fd711b092c726cc3fcf4965563d3825b32e47dd2eae22cb8300c60fad6d160a1a9753c86c1d1f618489b89'] From 8011e585929f0f5634b51f055512c99b49468f15 Mon Sep 17 00:00:00 2001 From: Fabien Chouteau Date: Mon, 4 Nov 2024 11:18:47 +0100 Subject: [PATCH 2/3] gnatdoc: fix executables field --- index/gn/gnatdoc/gnatdoc-24.0.0.toml | 4 ++-- index/gn/gnatdoc/gnatdoc-25.0.0.toml | 4 ++-- 2 files changed, 4 insertions(+), 4 deletions(-) diff --git a/index/gn/gnatdoc/gnatdoc-24.0.0.toml b/index/gn/gnatdoc/gnatdoc-24.0.0.toml index babd636c7..04df42bbe 100644 --- a/index/gn/gnatdoc/gnatdoc-24.0.0.toml +++ b/index/gn/gnatdoc/gnatdoc-24.0.0.toml @@ -5,11 +5,11 @@ tags = ["documentation", "tools"] authors = ["AdaCore"] maintainers = ["Vadim Godunko ", "Maxim Reznik "] -maintainers-logins = ["godunko", "reznikmm"] +maintainers-logins = ["godunko", "reznikmm", "Fabien-Chouteau"] licenses = "GPL-3.0-or-later WITH GCC-exception-3.1" website = "https://github.com/AdaCore/gnatdoc" -executables = ["bin/gnatdoc"] +executables = ["gnatdoc"] project-files = ["gnat/gnatdoc.gpr"] [configuration] diff --git a/index/gn/gnatdoc/gnatdoc-25.0.0.toml b/index/gn/gnatdoc/gnatdoc-25.0.0.toml index e13fa9631..049acb8d5 100644 --- a/index/gn/gnatdoc/gnatdoc-25.0.0.toml +++ b/index/gn/gnatdoc/gnatdoc-25.0.0.toml @@ -5,11 +5,11 @@ tags = ["documentation", "tools"] authors = ["AdaCore"] maintainers = ["Vadim Godunko ", "Maxim Reznik "] -maintainers-logins = ["godunko", "reznikmm"] +maintainers-logins = ["godunko", "reznikmm", "Fabien-Chouteau"] licenses = "GPL-3.0-or-later WITH GCC-exception-3.1" website = "https://github.com/AdaCore/gnatdoc" -executables = ["bin/gnatdoc"] +executables = ["gnatdoc"] project-files = ["gnat/gnatdoc.gpr"] [configuration] From 85316925cd098f70082382408fad21be65ccddf5 Mon Sep 17 00:00:00 2001 From: Fabien Chouteau Date: Mon, 4 Nov 2024 17:34:19 +0100 Subject: [PATCH 3/3] libadalang_tools 25.0.0 set build mode to prod --- index/li/libadalang_tools/libadalang_tools-25.0.0.toml | 3 +++ 1 file changed, 3 insertions(+) diff --git a/index/li/libadalang_tools/libadalang_tools-25.0.0.toml b/index/li/libadalang_tools/libadalang_tools-25.0.0.toml index 01989859d..066c3c315 100644 --- a/index/li/libadalang_tools/libadalang_tools-25.0.0.toml +++ b/index/li/libadalang_tools/libadalang_tools-25.0.0.toml @@ -11,6 +11,9 @@ tags = ["libadalang", "static-analysis", "metric", "formatting", "generator", "g project-files = ["src/lal_tools.gpr", "src/build.gpr"] executables = ["gnatmetric", "gnatpp", "gnatstub", "gnattest"] +[gpr-set-externals] +LALTOOLS_BUILD_MODE = "prod" + [[depends-on]] libadalang = "^25.0.0" templates_parser = "^25.0.0"