Add git and fstar in PATH when building with nix

cryspen · Jan 9, 2025 · d547774 · d547774
1 parent 9818c08
commit d547774
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/flake.nix b/flake.nix
@@ -68,6 +68,7 @@
            , cmake
            , mold-wrapped
            , ninja
+           , git
            , python3
            , runCommand
            , craneLib
@@ -98,7 +99,9 @@
                 cmake
                 mold-wrapped
                 ninja
+                git
                 python3
+                inputs.fstar.packages.${system}.default
               ] ++ lib.optional checkHax [
                 hax
               ];