Move libcrux to a submodule in deps

Author: zhengyao-lin

.gitmodules

@@ -2,3 +2,7 @@
 	path = deps/verus
 	url = https://github.com/zhengyao-lin/verus.git
 	branch = x509
+[submodule "deps/libcrux"]
+	path = deps/libcrux
+	url = https://github.com/zhengyao-lin/libcrux.git
+	branch = main

Cargo.lock

@@ -18,6 +18,7 @@ default-members = [
 exclude = [
     "tools/verusc",
     "deps/verus",
+    "deps/libcrux",
 ]
 
 resolver = "2"

Cargo.toml

@@ -11,8 +11,8 @@ vest = { path = "../deps/vest" }
 polyfill = { path = "../polyfill" }
 macros = { path = "../macros" }
 parser = { path = "../parser" }
-libcrux = { git = "https://github.com/zhengyao-lin/libcrux.git" }
-libcrux-hacl = { git = "https://github.com/zhengyao-lin/libcrux.git" }
+libcrux = { path = "../deps/libcrux" }
+libcrux-hacl = { path = "../deps/libcrux/sys/hacl" }
 chrono = "0.4.38"
 aws-lc-rs = "1.10.0"
 rspec = { path = "../rspec" }

chain/Cargo.toml

@@ -9,9 +9,10 @@ unset -f vargo 2>/dev/null || true
 REPO_ROOT=$(pwd)
 REAL_CARGO="$(which cargo)"
 
+git submodule update --init
+
 # Build verus
-(git submodule update --init &&
-cd deps/verus/source &&
+(cd deps/verus/source &&
 [ -f z3 ] || ./tools/get-z3.sh &&
 source ../tools/activate &&
 vargo build --release) || return 1