summaryrefslogtreecommitdiff
path: root/Makefile
diff options
context:
space:
mode:
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile15
1 files changed, 12 insertions, 3 deletions
diff --git a/Makefile b/Makefile
index 76b7081..8f87383 100644
--- a/Makefile
+++ b/Makefile
@@ -1,4 +1,13 @@
build: grammar.y lex.l
- bison -o build/grammar.tab.c -d grammar.y
- flex -o build/lex.yy.c lex.l
- gcc -o build/henshin build/grammar.tab.c build/lex.yy.c -lfl -ly
+ bison \
+ -o build/grammar.tab.c \
+ -d grammar.y \
+ #-Wcounterexamples
+ flex \
+ -o build/lex.yy.c \
+ lex.l
+ gcc \
+ -o build/henshin \
+ build/grammar.tab.c build/lex.yy.c \
+ -I ./ \
+ -lfl -ly