Fix dynlink

hazelgrove · Aug 17, 2024 · 24f75c5 · 24f75c5
1 parent 5b2df28
commit 24f75c5
Showing 1 changed file with 5 additions and 4 deletions.
diff --git a/src/haz3lweb/dune b/src/haz3lweb/dune
@@ -65,7 +65,7 @@
  (link_flags -linkall)
  (modes js)
  (js_of_ocaml
-  (flags :standard --toplevel --dynlink))
+  (flags :standard --toplevel))
  (preprocess
   (pps
    ppx_yojson_conv
@@ -81,14 +81,15 @@
  (modes js)
  (link_flags -linkall)
  (js_of_ocaml
-  (flags :standard --toplevel --dynlink))
+  (flags :standard --toplevel))
  (preprocess
   (pps js_of_ocaml-ppx)))
 
 (env
  (dev
   (js_of_ocaml
-   (flags (:standard))))
+   (flags
+    (:standard --debuginfo --noinline --dynlink --linkall --sourcemap))))
  (release
   (js_of_ocaml
-   (flags (:standard)))))
+   (flags (:standard)))))