Generate a Cargo.lock file for libcrux

update.sh

@@ -13,3 +13,13 @@ nix flake update \
    --override-input eurydice "github:aeneasverif/eurydice?ref=$EURYDICE_BRANCH" \
    --override-input libcrux "github:cryspen/libcrux?ref=$LIBCRUX_BRANCH" \
    --override-input bertie "github:cryspen/bertie?ref=$BERTIE_BRANCH"
+
+# Generate a `Cargo.lock` file for libcrux
+LIBCRUX_COMMIT="$(nix shell nixpkgs#jq --command jq -r .nodes.libcrux.locked.rev flake.lock)"
+git clone https://github.com/cryspen/libcrux
+cd libcrux
+git checkout "$LIBCRUX_COMMIT"
+nix develop --command cargo generate-lockfile
+cd ..
+mv libcrux/Cargo.lock libcrux-Cargo.lock
+rm -rf libcrux