getting further

meta-introspector · Dec 21, 2023 · 5a59c9c · 5a59c9c
1 parent c4e3bdd
commit 5a59c9c
Show file tree

Hide file tree

Showing 5 changed files with 143 additions and 624 deletions.
diff --git a/Makefile b/Makefile
@@ -4,4 +4,8 @@ test1:
 	menhir --trace -v --interpret  ./lib/sentenceParser.mly < test/test.gbnf
 
 compile:
-	menhir --cmly --table --trace --dump --explain --log-grammar 99 --log-automaton 9 --log-code 99 --log-grammar 99 --reference-graph lib/sentenceParser.mly
+	menhir --cmly --table --trace --dump --explain --log-grammar 99 --log-automaton 9 --log-code 99 --log-grammar 99 --reference-graph lib/sentenceParser.mly	
+	rm -f lib/sentenceParser.cmly lib/sentenceParser.ml lib/sentenceParser.mli
+	dune clean
+	dune build
+	dune test