aboutsummaryrefslogtreecommitdiff
path: root/bin/dune
diff options
context:
space:
mode:
authorSébastien Dailly <sebastien@dailly.me>2025-01-11 06:40:30 +0100
committerSébastien Dailly <sebastien@dailly.me>2025-01-22 12:22:26 +0100
commit820a7bda25c5541ce9580f99ec9f6eb512103e59 (patch)
tree8aec624cff21303fac4afe137ecb52c17c5d5329 /bin/dune
parent986bcb796d8b9e1f485baa8da599aa816c56b587 (diff)
Removed the json configuration management
Diffstat (limited to 'bin/dune')
-rwxr-xr-xbin/dune2
1 files changed, 0 insertions, 2 deletions
diff --git a/bin/dune b/bin/dune
index fad168d..f28f22b 100755
--- a/bin/dune
+++ b/bin/dune
@@ -13,7 +13,6 @@
lwt
lwt.unix
otoml
- yojson
tools
helpers
importConf
@@ -27,7 +26,6 @@
importSQL
)
(link_flags (:standard))
-(preprocess (pps ppx_yojson_conv))
)
(install