chiark / gitweb /
.gitignore: profiling output files
[matchsticks-search.git] / Makefile
index 5c571d284f051ed87f1a8a4c1b67c14ab3dc6e69..f86d6ae8f1f2885f2bc8ecc53ab38cdaabab766f 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -1,5 +1,7 @@
-CFLAGS += -Wall -Wwrite-strings -Wstrict-prototypes -g -O2
+CFLAGS += -Wall -Wwrite-strings -Wstrict-prototypes -g -O2 -std=gnu99
+CFLAGS += $(CMDLINE_CFLAGS)
+CPPFLAGS += -DVERSION="\"`git-describe --tags --dirty=+`\""
 LC_CTYPE=C
-LDLIBS = -lpub -lglpk
+LDLIBS = -lpub -lglpk -lm
 
 all: main