aboutsummaryrefslogtreecommitdiff
path: root/lib/qparser/dune
diff options
context:
space:
mode:
Diffstat (limited to 'lib/qparser/dune')
-rw-r--r--lib/qparser/dune29
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)
+)