update gen scripts

2022-08-22 12:05:32 +02:00
parent 71a3e25be4
commit 475c0c323c
12 changed files with 917 additions and 20 deletions
--- a/gen/s2/Makefile
+++ b/gen/s2/Makefile
@ -1,9 +1,9 @@
-generate: S2
+generate: s2

 clean:
 	rm -rf ./parser.hpp
 	rm -rf ./parser.cpp

-S2: parser.ypp
+s2: parser.ypp
 	bison parser.ypp -Wcounterexamples
 	mv parser.hpp parser.cpp ../../src/s2/xsk/