diff options
Diffstat (limited to 'script.it/dune')
-rwxr-xr-x | script.it/dune | 11 |
1 files changed, 2 insertions, 9 deletions
diff --git a/script.it/dune b/script.it/dune index ceae76c..dd1f7d2 100755 --- a/script.it/dune +++ b/script.it/dune @@ -1,16 +1,9 @@ -(library - (name outline) - (libraries - path) - (modules outline) - (preprocess (pps ppx_hash js_of_ocaml-ppx)) - ) - (executable (name script) (libraries brr brr.note + script_state shapes elements blog @@ -20,7 +13,7 @@ outline ) (modes js) - (modules script state selection) + (modules script) (preprocess (pps ppx_hash js_of_ocaml-ppx)) (link_flags (:standard -no-check-prims)) ) |