aboutsummaryrefslogtreecommitdiff
path: root/lib/dune
diff options
context:
space:
mode:
Diffstat (limited to 'lib/dune')
-rw-r--r--lib/dune29
1 files changed, 0 insertions, 29 deletions
diff --git a/lib/dune b/lib/dune
deleted file mode 100644
index f62c90e..0000000
--- a/lib/dune
+++ /dev/null
@@ -1,29 +0,0 @@
-(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)
-)