Add compilation to byte code

imitator-model-checker · Oct 1, 2024 · a151206 · a151206
1 parent 68de7b5
commit a151206
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/src/bin/dune b/src/bin/dune
@@ -1,6 +1,8 @@
 (executable
  (name IMITATOR)
+ (modes byte exe)
  (libraries lib)
+ (ocamlc_flags (-g) (-I %{env:OPAM_SWITCH_PREFIX=}/lib/gmp/) (-I %{env:OPAM_SWITCH_PREFIX=}/lib/ppl))
  (link_flags
   (:include link_flags.%{system})
   (:standard