fix

hazelgrove · Aug 17, 2024 · 5b2df28 · 5b2df28
1 parent 6acf4e2
commit 5b2df28
Show file tree

Hide file tree

Showing 2 changed files with 7 additions and 10 deletions.
diff --git a/src/haz3lcore/dune b/src/haz3lcore/dune
@@ -15,14 +15,7 @@
 (env
  (dev
   (js_of_ocaml
-   (flags
-    :standard
-    --toplevel
-    --debuginfo
-    --noinline
-    --dynlink
-    --linkall
-    --sourcemap)))
+   (flags :standard --debuginfo --noinline --dynlink --linkall --sourcemap)))
  (release
   (js_of_ocaml
    (flags :standard))))
diff --git a/src/haz3lweb/dune b/src/haz3lweb/dune
@@ -64,6 +64,8 @@
  (libraries ppx_yojson_conv.expander haz3lweb)
  (link_flags -linkall)
  (modes js)
+ (js_of_ocaml
+  (flags :standard --toplevel --dynlink))
  (preprocess
   (pps
    ppx_yojson_conv
@@ -78,13 +80,15 @@
  (libraries workerServer)
  (modes js)
  (link_flags -linkall)
+ (js_of_ocaml
+  (flags :standard --toplevel --dynlink))
  (preprocess
   (pps js_of_ocaml-ppx)))
 
 (env
  (dev
   (js_of_ocaml
-   (flags :standard --debuginfo --noinline --dynlink --linkall --sourcemap)))
+   (flags (:standard))))
  (release
   (js_of_ocaml
-   (flags (:standard)))))
+   (flags (:standard)))))