From d54777481954fd2f6caf3f46977c3559ca9cf583 Mon Sep 17 00:00:00 2001
From: Nadrieril <nadrieril+git@gmail.com>
Date: Thu, 9 Jan 2025 11:32:20 +0100
Subject: [PATCH] Add git and fstar in PATH when building with nix

---
 flake.nix | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/flake.nix b/flake.nix
index af627be25..7de309c4d 100644
--- 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
               ];