summaryrefslogtreecommitdiff
path: root/elements/dune
diff options
context:
space:
mode:
authorSébastien Dailly <sebastien@chimrod.com>2021-02-04 21:14:01 +0100
committerSébastien Dailly <sebastien@dailly.me>2022-02-07 14:37:57 +0100
commit86ec559f913c389e8dc055b494630f21a45e039b (patch)
tree822341b481695c9bf8b39f8b8fcbdeef56e629d6 /elements/dune
parent03f8a08fe2dde9db9fb656dbea2e5494b67236ad (diff)
css_merge application
Diffstat (limited to 'elements/dune')
-rwxr-xr-xelements/dune2
1 files changed, 2 insertions, 0 deletions
diff --git a/elements/dune b/elements/dune
index 755bd05..97d0753 100755
--- a/elements/dune
+++ b/elements/dune
@@ -3,5 +3,7 @@
(libraries
brr
brr.note
+ js_of_ocaml
)
+ (preprocess (pps ppx_hash js_of_ocaml-ppx))
)