Install gnatprove systemwide

Shipping gnatprove doesn't work
2026-06-11 15:56:00 +02:00 · 2026-06-11 15:55:05 +02:00
2 changed files with 1 additions and 2 deletions
@@ -32,6 +32,7 @@ jobs:
          mv alr /bin/alr
        fi
        chmod +x /bin/alr
+        /bin/alr -n install gnatprove

    - name: build project
      run: |
@@ -9,5 +9,3 @@ licenses = "MIT"
 website = ""
 tags = ["routing", "geo", "coordinates", "geography", "graph", "pathfinding", "spark"]

-[[depends-on]]
-gnatprove = "^15.1.0"
Author	SHA1	Message	Date
Nina Chlóe Kassandra Reiß	5f4923a127	Install gnatprove systemwide Alire installation and checkup / build (ubuntu-20.04) (push) Failing after 40s Details	2026-06-11 15:56:00 +02:00
Nina Chlóe Kassandra Reiß	32633ed60b	Shipping gnatprove doesn't work	2026-06-11 15:55:05 +02:00