diff options
Diffstat (limited to 'lib/qparser/dune')
-rw-r--r-- | lib/qparser/dune | 29 |
1 files changed, 29 insertions, 0 deletions
diff --git a/lib/qparser/dune b/lib/qparser/dune new file mode 100644 index 0000000..f62c90e --- /dev/null +++ b/lib/qparser/dune @@ -0,0 +1,29 @@ +(library + (name qparser) + (libraries + str + menhirLib + qsp_syntax + ) + (preprocess (pps + sedlex.ppx + )) + ) + + +(rule + (targets parser_messages.ml) + (deps expression_parser.messages tokens.mly qsp_expression.mly qsp_instruction.mly parser.mly) + (action (with-stdout-to %{targets} (run menhir --base parser.mly --compile-errors %{deps})))) + +(menhir + (modules tokens) + (flags --only-tokens) +) + + +(menhir + (modules tokens parser qsp_instruction qsp_expression) + (flags --table --external-tokens Tokens) + (merge_into parser) +) |