diff options
Diffstat (limited to 'lib/dune')
-rw-r--r-- | lib/dune | 30 |
1 files changed, 30 insertions, 0 deletions
diff --git a/lib/dune b/lib/dune new file mode 100644 index 0000000..284ab67 --- /dev/null +++ b/lib/dune @@ -0,0 +1,30 @@ +(library + (name qsp_parser) + (libraries + qsp_syntax + menhirLib) + (preprocess (pps + ppx_deriving.show + ppx_deriving.eq )) + ) + + +(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) +) + +(ocamllex lexer) + |