aboutsummaryrefslogtreecommitdiffstats
path: root/lib/nix/dune
diff options
context:
space:
mode:
Diffstat (limited to 'lib/nix/dune')
-rw-r--r--lib/nix/dune15
1 files changed, 15 insertions, 0 deletions
diff --git a/lib/nix/dune b/lib/nix/dune
new file mode 100644
index 0000000..3954c8a
--- /dev/null
+++ b/lib/nix/dune
@@ -0,0 +1,15 @@
1(menhir
2 (modules parser)
3 (flags "--dump" "--strict" "--external-tokens" "Tokens")
4 (infer true))
5
6(ocamllex
7 (modules lexer))
8
9(library
10 (name nix)
11 (preprocess
12 (pps ppx_sexp_conv))
13 (instrumentation
14 (backend bisect_ppx))
15 (libraries core core_unix core_unix.filename_unix pprint ppx_sexp_conv str))