Allow setting the Cargo.lock via nix

cryspen · Nov 14, 2024 · 8b45ccd · 8b45ccd
1 parent d9520c1
commit 8b45ccd
Showing 1 changed file with 8 additions and 1 deletion.
diff --git a/flake.nix b/flake.nix
@@ -68,18 +68,25 @@
            , mold-wrapped
            , ninja
            , python3
+           , runCommand
            , crane
            , hax
            , googletest
            , benchmark
            , json
            , tools-environment
+           , cargoLock ? ./Cargo.lock
            , checkHax ? true
            , runBenchmarks ? true
            }:
             let
               craneLib = crane.mkLib pkgs;
-              src = ./.;
+              src = runCommand "libcrux-src" { } ''
+                cp -r ${./.} $out
+                chmod u+w $out
+                rm -f $out/Cargo.lock
+                cp ${cargoLock} $out/Cargo.lock
+              '';
               cargoArtifacts = craneLib.buildDepsOnly { inherit src; };
             in
             craneLib.buildPackage (tools-environment // {