From 39751981cc9bd08d078c3df0410000e740a255b9 Mon Sep 17 00:00:00 2001 From: "Alejandro R. Mosteo" Date: Thu, 19 Aug 2021 12:25:59 +0200 Subject: [PATCH] gprbuild external --- index/gp/gprbuild/gprbuild-external.toml | 14 ++++++++++++++ 1 file changed, 14 insertions(+) create mode 100644 index/gp/gprbuild/gprbuild-external.toml diff --git a/index/gp/gprbuild/gprbuild-external.toml b/index/gp/gprbuild/gprbuild-external.toml new file mode 100644 index 00000000..301a80eb --- /dev/null +++ b/index/gp/gprbuild/gprbuild-external.toml @@ -0,0 +1,14 @@ +description = "The GPRBuild Ada/multilanguage build tool" +name = "gprbuild" + +maintainers = ["alejandro@mosteo.com"] +maintainers-logins = ["mosteo"] + +[[external]] +kind = "version-output" +version-regexp = "^GPRBUILD ([\\d\\.-]+).*|^GPRBUILD Community ([\\d\\.-]+).*" +version-command = ["gprbuild", "--version"] + +[[external]] +kind = "system" +origin = ["gprbuild"]