diff options
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 15 |
1 files changed, 0 insertions, 15 deletions
diff --git a/Makefile b/Makefile deleted file mode 100644 index 1c63b58..0000000 --- a/Makefile +++ /dev/null @@ -1,15 +0,0 @@ -build: grammar.y lex.l ast.h ast.c - bison \ - -o build/grammar.tab.c \ - -d grammar.y \ - -t \ - #-Wcounterexamples - flex \ - -o build/lex.yy.c \ - -d \ - lex.l - gcc \ - -o build/henshin \ - build/grammar.tab.c build/lex.yy.c \ - -I ./ \ - -lfl -ly |