From 3c5fc76bc757d7460c0c6f0d0ca92e219f4d8ea3 Mon Sep 17 00:00:00 2001 From: Vadim Godunko Date: Thu, 10 Jul 2025 13:51:24 +0400 Subject: [PATCH] a0b_tools 0.1.0 (#1525) --- index/a0/a0b_tools/a0b_tools-0.1.0.toml | 35 +++++++++++++++++++++++++ 1 file changed, 35 insertions(+) create mode 100644 index/a0/a0b_tools/a0b_tools-0.1.0.toml diff --git a/index/a0/a0b_tools/a0b_tools-0.1.0.toml b/index/a0/a0b_tools/a0b_tools-0.1.0.toml new file mode 100644 index 00000000..61e230b5 --- /dev/null +++ b/index/a0/a0b_tools/a0b_tools-0.1.0.toml @@ -0,0 +1,35 @@ +name = "a0b_tools" +description = "A0B Tools: Runtime Generator" +website = "https://github.com/godunko/a0b-tools" +version = "0.1.0" + +authors = ["Vadim Godunko"] +maintainers = ["Vadim Godunko "] +maintainers-logins = ["godunko"] +licenses = "GPL-3.0-or-later" + +project-files=["gnat/a0b_tools.gpr"] +executables=["a0b-runtime"] +auto-gpr-with=false + +tags = ["a0b", "tools", "runtime"] + +[configuration] +generate_ada = false +generate_gpr = true +generate_c = false + +[environment] +PATH.append = "${CRATE_ROOT}/bin" + +[[depends-on]] +a0b_base = "*" +gnat = "*" +gnatcoll = "*" +vss = "*" + + +[origin] +commit = "39e79120e51c646cd330e77cc38f359b81ee6194" +url = "git+https://github.com/godunko/a0b-tools.git" +