aboutsummaryrefslogtreecommitdiff
path: root/lib/configuration/dune
diff options
context:
space:
mode:
authorSébastien Dailly <sebastien@dailly.me>2025-01-17 20:48:43 +0100
committerSébastien Dailly <sebastien@dailly.me>2025-01-22 12:22:26 +0100
commit8e012f4804ecf1665819e761283120a3c0e73643 (patch)
treec168efe3e1f0edf5e45695c643e62b3e5447be37 /lib/configuration/dune
parentbf2af26d896bb499f2c312a4f1ecd3210e2d7780 (diff)
Switched from OUnit to alcotest
Diffstat (limited to 'lib/configuration/dune')
-rwxr-xr-xlib/configuration/dune7
1 files changed, 5 insertions, 2 deletions
diff --git a/lib/configuration/dune b/lib/configuration/dune
index c29ba49..74ace87 100755
--- a/lib/configuration/dune
+++ b/lib/configuration/dune
@@ -11,9 +11,12 @@
importExpression
importErrors
)
+ (preprocess (pps
+ ppx_deriving.ord
+ ppx_deriving.show
+ ppx_deriving.eq
+ ))
(foreign_stubs (language c) (names locale))
-
-(preprocess (pps ppx_deriving.ord))
)
(rule