Merge pull request #3611 from mtzguido/nix

Fix nix build, add mk/ to src list
FStarLang · Nov 7, 2024 · d306ce2 · d306ce2
2 parents 2e5c4a4 + 1d17a4c
commit d306ce2
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.nix/fstar.nix b/.nix/fstar.nix
@@ -13,6 +13,7 @@ stdenv.mkDerivation {
     "examples.*"
     "src(/ocaml-output(/Makefile)?)?"
     "ucontrib.*"
+    "mk.*"
   ];
 
   dontBuild = true;