diff -U 3 -H -d -r -N -- mace4-2003-B-orig/ladr/Makefile mace4-2003-B/ladr/Makefile
--- mace4-2003-B-orig/ladr/Makefile	2003-10-15 18:02:38.000000000 +0200
+++ mace4-2003-B/ladr/Makefile	2004-04-27 12:56:33.222877712 +0200
@@ -1,6 +1,6 @@
 # XFLAGS can be specified on the command line (see XFLAGS below)
 
-CFLAGS = $(XFLAGS) -O
+CFLAGS = $(XFLAGS) $(CXXFLAGS)
 # CFLAGS = $(XFLAGS) -O6 -Wall
 # CFLAGS = $(XFLAGS)  -g -Wall
 # CFLAGS = $(XFLAGS) -O6 -pg -Wall
diff -U 3 -H -d -r -N -- mace4-2003-B-orig/ladr-apps/Makefile mace4-2003-B/ladr-apps/Makefile
--- mace4-2003-B-orig/ladr-apps/Makefile	2003-09-17 22:50:51.000000000 +0200
+++ mace4-2003-B/ladr-apps/Makefile	2004-04-27 12:57:09.310391576 +0200
@@ -1,5 +1,5 @@
 
-CFLAGS = -O
+# CFLAGS = -O
 # CFLAGS = -O6 -Wall
 # CFLAGS =  -g -Wall
 # CFLAGS = -pg -Wall
diff -U 3 -H -d -r -N -- mace4-2003-B-orig/mace4/Makefile mace4-2003-B/mace4/Makefile
--- mace4-2003-B-orig/mace4/Makefile	2003-07-25 23:45:12.000000000 +0200
+++ mace4-2003-B/mace4/Makefile	2004-04-27 12:56:55.278524744 +0200
@@ -1,5 +1,5 @@
 
-CFLAGS = -O
+# CFLAGS = -O
 # CFLAGS = -O6 -Wall
 # CFLAGS =  -g -Wall
 # CFLAGS = -pg -Wall