Skip to content

Commit

Permalink
fix
Browse files Browse the repository at this point in the history
  • Loading branch information
7h3kk1d committed Aug 17, 2024
1 parent 327c240 commit e817bce
Show file tree
Hide file tree
Showing 2 changed files with 7 additions and 10 deletions.
9 changes: 1 addition & 8 deletions src/haz3lcore/dune
Original file line number Diff line number Diff line change
Expand Up @@ -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))))
8 changes: 6 additions & 2 deletions src/haz3lweb/dune
Original file line number Diff line number Diff line change
Expand Up @@ -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
Expand All @@ -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)))))

0 comments on commit e817bce

Please sign in to comment.