diff options
Diffstat (limited to 'css/lib/dune')
-rwxr-xr-x | css/lib/dune | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/css/lib/dune b/css/lib/dune new file mode 100755 index 0000000..1b84385 --- /dev/null +++ b/css/lib/dune @@ -0,0 +1,9 @@ +(menhir + (modules menhir_parser) + (flags --explain)) + +(library + (name Css) + (libraries sedlex menhirLib) + (preprocess (pps sedlex.ppx))) + |