types and locations

[ccc.git] / Makefile

diff --git a/Makefile b/Makefile
index fec3916..dfb7600 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -1,5 +1,6 @@
 CFLAGS:=-Wall -Wextra -Werror -std=c99 -pedantic-errors -D_XOPEN_SOURCE=700 -ggdb
-YFLAGS:=-d -Wcounterexamples
+YFLAGS:=-d --locations# -Wcounterexamples
+LFLAGS:=-X
 
 OBJECTS:=scan.o parse.o ast.o util.o