Fix the mlcfg script

creusot-rs · May 22, 2024 · 8f66a1f · 8f66a1f
1 parent 98cc00f
commit 8f66a1f
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/mlcfg b/mlcfg
@@ -6,7 +6,9 @@ OUTDIR=$(pwd)
 popd > /dev/null
 SCRIPTPATH=$(dirname "$BASH_SOURCE")
 pushd $SCRIPTPATH > /dev/null
-cargo run --bin creusot-rustc --  \
+eval $(cargo run --bin dev-env)
+cargo run --bin creusot-rustc -- \
+  --why3-config-file $WHY3CONFIG \
   --output-file="${INPUTPATH%.*}.mlcfg" \
   --span-mode=absolute \
   -- -Zno-codegen \