new defaults (+ alternatives) for the Makefile

diff --git a/Makefile b/Makefile
index 224fe72037ef5737795f13f36a9cea200b2f2587..fc5705a042427195724f986bf0addc67176854f3 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -1,29 +1,38 @@
 CC = gcc-4.3
+#CC = gcc-3.4
 
 CFLAGS = -Wall -Winline
 #CFLAGS += -Wextra -pedantic
+
 CFLAGS += -O3 -march=native -msse2 -mfpmath=sse
+#CFLAGS += -O3 -march=athlon64
+
 CFLAGS += -g
 #CFLAGS += -pg
 #CFLAGS += -ffloat-store
 
 #CFLAGS += -DPARALLEL -fopenmp
 #CFLAGS += -DPTHREADS -lpthread
-CFLAGS += -DVISUAL_THREAD -lpthread
+#CFLAGS += -DVISUAL_THREAD -lpthread
 #CFLAGS += -DPTHREADS -DVISUAL_THREAD -lpthread
 
-CFLAGS += -DALBE
+#CFLAGS += -DALBE
 CFLAGS += -DALBE_FAST
 #CFLAGS += -DTERSOFF_ORIG
 
 #CFLAGS += -DSTATIC_LISTS
 CFLAGS += -DLOWMEM_LISTS
 
+#CFLAGS += -DPDEBUG
 #CFLAGS += -DDEBUG
-#CFLAGS += -DDSTART=-1 -DDEND=40 -DDATOM=0
+#CFLAGS += -DDSTART=50 -DDEND=60 -DDATOM=0
 #CFLAGS += -DVDEBUG
 
+#CFLAGS += -DCONSTRAINT_110_5832
+#CFLAGS += -DQUENCH
+
 LDFLAGS = -lm
+
 #LDFLAGS += -lc_p
 #LDFLAGS += -lefence