Emit bytecode in dune build for debugging

Signed-off-by: Andrew Helwer <[email protected]>
tlaplus · Jul 15, 2024 · ebb9880 · ebb9880
1 parent 117b5cb
commit ebb9880
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/src/dune b/src/dune
@@ -4,6 +4,7 @@
 
 (executable
   (name tlapm)
+  (modes byte)
   (public_name tlapm)
   (modules tlapm)
   (libraries tlapm_lib)
@@ -26,4 +27,3 @@
  (sites tlapm))
 
 (include_subdirs unqualified)
-
diff --git a/test/TOOLS/env_setup b/test/TOOLS/env_setup
@@ -6,7 +6,7 @@ abspath() {
 }
 
 if [ -z "$USE_TLAPM" ]; then
-  TLAPM_BIN=$BASEDIR/../tlapm
+  TLAPM_BIN=$BASEDIR/../tlapm.exe
 else
   TLAPM_BIN="$(abspath $USE_TLAPM)"
 fi