diff -r e08c65e27557 -r 873a5b60a7ea Makefile.Linux
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/Makefile.Linux	Thu Jul 12 11:24:32 2007 +0200
@@ -0,0 +1,15 @@
+ 
+
+#get warnings, debugging information and optimization
+CFLAGS  = -Wall -pedantic -Wpointer-arith -Wwrite-strings
+# CFLAGS += -Werror
+#CFLAGS += -ggdb -O3 -funroll-loops
+CFLAGS += -O3 -funroll-loops
+# Note: if the optimizer crashes, we'll leave out the -O3 for those files
+
+#get warnings, debugging information and optimization
+CXXFLAGS  = -Wall -pedantic -Wpointer-arith -Wwrite-strings
+#CXXFLAGS += -ggdb -O3 -funroll-loops
+CXXFLAGS += -O3 -funroll-loops
+
+IECLIBDIR=lib