diff options
Diffstat (limited to 'lib/kernel/dune')
| -rw-r--r-- | lib/kernel/dune | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/lib/kernel/dune b/lib/kernel/dune index b63c476..b909ac5 100644 --- a/lib/kernel/dune +++ b/lib/kernel/dune @@ -1,2 +1,5 @@ (library - (name colitur_kernel)) + (name colitur_kernel) + (libraries sexplib) + (preprocess + (pps ppx_sexp_conv))) |