diff options
author | Chimrod <> | 2023-09-22 14:12:14 +0200 |
---|---|---|
committer | Chimrod <> | 2023-09-22 14:12:14 +0200 |
commit | bd9d82035b21c8b0695c18208827c184785398af (patch) | |
tree | 5c6b03d6a82155b867e5ec2ceecd260b8868579a /lib/dune |
first commit
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) + |