aboutsummaryrefslogtreecommitdiffstats
path: root/lib/dune
diff options
context:
space:
mode:
Diffstat (limited to 'lib/dune')
-rw-r--r--lib/dune1
1 files changed, 1 insertions, 0 deletions
diff --git a/lib/dune b/lib/dune
index 0ef1c18..b5e8596 100644
--- a/lib/dune
+++ b/lib/dune
@@ -1,6 +1,7 @@
(library
(name relational_engine)
(libraries ctypes ctypes-foreign data-encoding)
+ (preprocess (pps ppx_deriving.show ppx_deriving.ord))
;; (c_library_flags -lssl -lcrypto -L %{env:LIBRESSL_LIB_PATH=})
;; (foreign_stubs
;; (language cxx)