From ebb9880f1a702ca207ce0a4ac2e28f1e72cf3da0 Mon Sep 17 00:00:00 2001
From: Andrew Helwer <2n8rn1w1f@mozmail.com>
Date: Sun, 14 Jul 2024 18:40:01 -0400
Subject: [PATCH] Emit bytecode in dune build for debugging

Signed-off-by: Andrew Helwer <2n8rn1w1f@mozmail.com>
---
 src/dune             | 2 +-
 test/TOOLS/env_setup | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/dune b/src/dune
index 11c8cadb..0bf29f29 100644
--- 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
index 9acb6074..9da7e818 100755
--- 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