gsc-tool/gen/s1/Makefile
2022-08-23 13:47:49 +02:00

10 lines
159 B
Makefile

generate: s1
clean:
rm -rf ./parser.hpp
rm -rf ./parser.cpp
s1: parser.ypp
bison parser.ypp -Wcounterexamples
mv parser.hpp parser.cpp ../../src/s1/xsk/