diff options
author | Chimrod <> | 2023-10-06 08:35:56 +0200 |
---|---|---|
committer | Chimrod <> | 2023-10-06 08:35:56 +0200 |
commit | 97ab5c9a21166f0bffee482210d69877fd6809fa (patch) | |
tree | d1fa44000fa07631edc8924a90020f2cfe637263 /lib/qparser/dune | |
parent | 40f4dbe7844725e0ab07f03f25c35f55b4699b46 (diff) |
Moved qparser and syntax in the library folder
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) +) |