Merge pull request #2 from patricoferris/duniverse-v1.4.0+jsoo

Include js runtime file
dune-universe · Jun 1, 2022 · 8656fb2 · 8656fb2
2 parents 44fc694 + 965ef9c
commit 8656fb2
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/src-clock/dune b/src-clock/dune
@@ -4,4 +4,5 @@
  (libraries mtime)
  (modules mtime_clock)
  (c_names mtime_clock_stubs)
+ (js_of_ocaml (javascript_files runtime.js))
  (wrapped false))