--- a/absyntax/Makefile Mon Aug 27 17:38:26 2007 +0200
+++ b/absyntax/Makefile Tue Aug 28 08:42:54 2007 +0200
@@ -1,5 +1,5 @@
# include the system specific Makefile
-#include ../../../Makefile.$(shell uname)
+include ../Makefile.$(shell uname)
@@ -14,10 +14,10 @@
#get warnings, debugging information and optimization
-CXXFLAGS = -Wall -pedantic -Wpointer-arith -Wwrite-strings
+#CXXFLAGS = -Wall -pedantic -Wpointer-arith -Wwrite-strings
# CXXFLAGS += -Werror
-CXXFLAGS += -ggdb -O3 -funroll-loops
+#CXXFLAGS += -ggdb -O3 -funroll-loops
# Note: if the optimizer crashes, we'll leave out the -O3 for those files
CXXFLAGS += -I. -I../* -I../../absyntax