aboutsummaryrefslogtreecommitdiff
path: root/lib/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/dune
parent40f4dbe7844725e0ab07f03f25c35f55b4699b46 (diff)
Moved qparser and syntax in the library folder
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)
-)