diff options
Diffstat (limited to 'discocaml/dune')
| -rw-r--r-- | discocaml/dune | 9 |
1 files changed, 6 insertions, 3 deletions
diff --git a/discocaml/dune b/discocaml/dune index 961fe70..50b12c2 100644 --- a/discocaml/dune +++ b/discocaml/dune @@ -2,14 +2,17 @@ (name discocaml) (inline_tests) (libraries compiler-libs.common yojson) - (modules discocaml) + (modules ast discocaml eval) (package discocaml) (preprocess (pps ppx_deriving.show ppx_deriving_yojson ppx_expect))) +(env + (release + (link_flags + (:standard -cclib -static -cclib -lm -O3)))) + (executable - (flags - (:standard -cclib -static -cclib -lm)) (libraries discocaml yojson) (modules main) (name main) |