diff options
| author | Sébastien Dailly <sebastien@chimrod.com> | 2021-02-04 21:14:01 +0100 |
|---|---|---|
| committer | Sébastien Dailly <sebastien@dailly.me> | 2022-02-07 14:37:57 +0100 |
| commit | 86ec559f913c389e8dc055b494630f21a45e039b (patch) | |
| tree | 822341b481695c9bf8b39f8b8fcbdeef56e629d6 /css/lib/dune | |
| parent | 03f8a08fe2dde9db9fb656dbea2e5494b67236ad (diff) | |
css_merge application
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))) + |