Add binary gprbuild

2021-04-14 13:34:48 +02:00
parent 8b06ec95e6
commit 5ae6b108cd
1 changed files with 12 additions and 0 deletions
@@ -0,0 +1,12 @@
+name = "gprbuild"
+version = "21.0.0"
+description = "The GPRBuild Ada/multilanguage build tool"
+maintainers = ["chouteau@adacore.com"]
+maintainers-logins = ["Fabien-Chouteau"]
+
+[environment."case(os)".linux]
+PATH.append = "${CRATE_ROOT}/bin"
+
+[origin."case(os)".linux."case(word-size)".bits-64]
+url = "https://github.com/Fabien-Chouteau/verbose-fiesta/releases/download/plop/gprbuild-x86_64-linux-21.0.0.tar.gz"
+hashes = ["sha512:94271fdbdda61eee19ac3877d5f7d4425230aec913332d90d8d53019585ef0b982f2bfe340270a6eb63f3605412be2d57900bc5c121f5edfafad7f4aa0173c6b"]