Fix Z3 dependencies

I am getting Z3 dependency issues when publishing to Opam. These only seem to happen in the bytecode builds so I am restricting builds to executable only.
alastairreid · May 17, 2020 · 33e6bae · 33e6bae
1 parent 1bdc2d2
commit 33e6bae
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 0 deletions.
diff --git a/bin/dune b/bin/dune
@@ -1,11 +1,13 @@
 (executable
  (name asli)
  (public_name asli)
+ (modes exe)
  (modules asli)
  (libraries libASL linenoise pprint))
 
 (executable
  (name testlexer)
+ (modes exe)
  ; (public_name test_asl_lexer)
  (modules testlexer)
  (libraries libASL))
diff --git a/tests/dune b/tests/dune
@@ -1,2 +1,3 @@
 (test (name test_asl)
+ (modes exe)
  (libraries alcotest libASL))