Pin gnat version and install all required components

2026-03-05 21:49:08 +01:00
parent debeda83a6
commit 6ebbbe16a7
1 changed files with 7 additions and 1 deletions
--- a/system-environment/config.nix
+++ b/system-environment/config.nix
@@ -27,7 +27,13 @@ in

        # Ada/+Spark & Rust tools
        alire
-        gnat
+        gnat15
+        gnat15Packages.gprbuild
+        gnat15Packages.gpr2
+        gnat15Packages.gnatprove
+        gnat15Packages.gnatcoll-core
+        gnat15Packages.gnatcoll-readline
+        gnat15Packages.gnatcoll-python3
        rustc
        cargo
    ];