gprbuild external

2021-08-19 12:25:59 +02:00
parent 39ab6f5272
commit 39751981cc
1 changed files with 14 additions and 0 deletions
@@ -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"]