From 08bbe89d7747effec75f552b7b346148511a9e07 Mon Sep 17 00:00:00 2001
From: Nadrieril <nadrieril+git@gmail.com>
Date: Thu, 14 Nov 2024 10:51:10 +0100
Subject: [PATCH] Generate a `Cargo.lock` file for libcrux

---
 update.sh | 10 ++++++++++
 1 file changed, 10 insertions(+)

diff --git a/update.sh b/update.sh
index f670812..ffede0e 100755
--- a/update.sh
+++ b/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