Emit bytecode in dune build for debugging

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

Hide file tree

Showing 2 changed files with 3 additions and 1 deletion.
diff --git a/Makefile b/Makefile
@@ -48,9 +48,11 @@ release:
 	rm -rf _build/tlaps-release-dir _build/tlaps-release-version
 	dune install --relocatable --prefix _build/tlaps-release-dir
 	make -C _build/tlaps-release-dir/lib/tlapm -f Makefile.post-install
+	find _build
 	cd test && env \
 		USE_TLAPM=../_build/tlaps-release-dir/bin/tlapm \
 		USE_LIB=../_build/tlaps-release-dir/lib/tlapm/stdlib \
+		CAML_LD_LIBRARY_PATH=../_build/tlaps-release-dir/src:$CAML_LD_LIBRARY_PATH \
 		./TOOLS/do_tests fast/basic
 	RELEASE_VERSION="$$(_build/tlaps-release-dir/bin/tlapm --version)" \
 		&& rm -rf _build/$(RELEASE_FILE) \

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)
-