aboutsummaryrefslogtreecommitdiffstats
path: root/lib/dune
diff options
context:
space:
mode:
Diffstat (limited to '')
-rw-r--r--lib/dune4
1 files changed, 3 insertions, 1 deletions
diff --git a/lib/dune b/lib/dune
index 9a7cd0b..a48798f 100644
--- a/lib/dune
+++ b/lib/dune
@@ -13,6 +13,8 @@
lwt-exit
batteries
ppx_protocol_conv_xml_light
- sexplib)
+ sexplib
+ ctypes
+ ctypes.foreign)
(preprocess
(pps ppx_deriving.show ppx_sexp_conv ppx_protocol_conv)))