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