From 8f66a1f941bc5be4ca3cf184eb21759c84a5e797 Mon Sep 17 00:00:00 2001
From: arnaudgolfouse <arnaud.golfouse@laposte.net>
Date: Wed, 22 May 2024 10:21:34 +0200
Subject: [PATCH] Fix the `mlcfg` script

---
 mlcfg | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/mlcfg b/mlcfg
index cd5cd1256..2f5f996bd 100755
--- 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 \