fix SHA3 CI workflow 4

Author: Parrot7483

Cargo.toml

@@ -47,7 +47,8 @@ readme = "Readme.md"
 allow-branch = ["main"]
 
 [workspace.dependencies]
-hax-lib = { version = "0.3.2" }
+# Latest Commit 2025-09-01
+hax-lib = { git = "https://github.com/cryspen/hax.git", rev = "6b34a68a0b38cd2aff09a4ad05569d712620af27" }
 
 [package]
 name = "libcrux"

libcrux-sha3/Cargo.toml

@@ -17,8 +17,8 @@ bench = false # so libtest doesn't eat the arguments to criterion
 libcrux-platform = { version = "0.0.2", path = "../sys/platform" }
 libcrux-intrinsics = { version = "0.0.3", path = "../libcrux-intrinsics" }
 libcrux-traits = { version = "=0.0.3", path = "../traits/", optional = true }
+hax-lib.workspace = true
 
-hax-lib = { git = "https://github.com/cryspen/hax.git", rev = "6b34a68a0b38cd2aff09a4ad05569d712620af27" }
 
 [features]
 default = ["digest-traits"]

libcrux-sha3/proofs/fstar/extraction/Makefile

@@ -1,12 +1,3 @@
-# If HAX_HOME is set, add HAX_HOME dirs and disable finding LIBS
-ifdef HAX_HOME
-FINDLIBS_OUTPUT =
-FSTAR_INCLUDE_DIRS_EXTRA += \
-	$(HAX_HOME)/proof-libs/fstar/rust_primitives \
-	$(HAX_HOME)/proof-libs/fstar/core \
-	$(HAX_HOME)/hax-lib/proofs/fstar/extraction
-endif
-
 # Always include these directories
 FSTAR_INCLUDE_DIRS_EXTRA += \
 	$(shell git rev-parse --show-toplevel)/fstar-helpers/fstar-bitvec \