Merge pull request #669 from R1kM/main

Propagate recent cmake changes to nix CI
cryspen · Nov 12, 2024 · 9a8614d · 9a8614d
2 parents d4b585d + b665c49
commit 9a8614d
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/flake.nix b/flake.nix
@@ -80,7 +80,7 @@
             python hax.py extract
             bash c.sh
             cd c
-            cmake \
+            LIBCRUX_BENCHMARKS=1 cmake \
               -DFETCHCONTENT_SOURCE_DIR_GOOGLETEST=${googletest} \
               -DFETCHCONTENT_SOURCE_DIR_BENCHMARK=${benchmark} \
               -DFETCHCONTENT_SOURCE_DIR_JSON=${json} \