aboutsummaryrefslogtreecommitdiff
path: root/lib/qparser/dune
diff options
context:
space:
mode:
authorChimrod <>2023-10-06 08:35:56 +0200
committerChimrod <>2023-10-06 08:35:56 +0200
commit97ab5c9a21166f0bffee482210d69877fd6809fa (patch)
treed1fa44000fa07631edc8924a90020f2cfe637263 /lib/qparser/dune
parent40f4dbe7844725e0ab07f03f25c35f55b4699b46 (diff)
Moved qparser and syntax in the library folder
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)
+)