From b2b55238edff90beb79da7f45ded7fa2aa09eff3 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Nina=20Chl=C3=B3e=20Kassandra=20Rei=C3=9F?=
 <nina.reiss@nickr.eu>
Date: Thu, 11 Jun 2026 15:49:55 +0200
Subject: [PATCH] Ship gnatprove with package

---
 .gitea/workflows/verify.yaml | 4 +++-
 alire.toml                   | 3 +++
 2 files changed, 6 insertions(+), 1 deletion(-)

diff --git a/.gitea/workflows/verify.yaml b/.gitea/workflows/verify.yaml
index 562bca6..0b443b7 100644
--- a/.gitea/workflows/verify.yaml
+++ b/.gitea/workflows/verify.yaml
@@ -39,4 +39,6 @@ jobs:
 
     - name: project verify
       run: |
-        /bin/alr gnatprove; cat $(find . | grep "out$")
+        /bin/alr gnatprove --version
+        /bin/alr gnatprove --help
+        /bin/alr gnatprove -v
diff --git a/alire.toml b/alire.toml
index 8ee8c1d..9afbf8b 100644
--- a/alire.toml
+++ b/alire.toml
@@ -8,3 +8,6 @@ maintainers-logins = ["nichkara"]
 licenses = "MIT"
 website = ""
 tags = ["routing", "geo", "coordinates", "geography", "graph", "pathfinding", "spark"]
+
+[[depends-on]]
+gnatprove = "^15.1.0"