Merge pull request #1009 from arnaudgolfouse/fix-mlcfg

Fix the `mlcfg` script
creusot-rs · May 22, 2024 · 40b03ff · 40b03ff
2 parents 98cc00f + 8f66a1f
commit 40b03ff
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 \