Blame cvc3-build.patch

75fa8e5
diff -dur cvc3-2.1.ORIG/Makefile.std cvc3-2.1/Makefile.std
75fa8e5
--- cvc3-2.1.ORIG/Makefile.std	2009-09-30 12:54:34.000000000 -0600
75fa8e5
+++ cvc3-2.1/Makefile.std	2009-10-15 21:12:35.804289073 -0600
75fa8e5
@@ -92,7 +92,7 @@
75fa8e5
   DEBUG_PLATFORM = -optdbg
75fa8e5
 else
75fa8e5
 ifeq ($(OPTIMIZED),1)
75fa8e5
-  LOCAL_CXXFLAGS = -O2
75fa8e5
+  LOCAL_CXXFLAGS =
75fa8e5
   DEBUG_PLATFORM =
75fa8e5
 else
75fa8e5
   LOCAL_CXXFLAGS = -D_CVC3_DEBUG_MODE -g -O0
75fa8e5
@@ -177,7 +177,7 @@
75fa8e5
   BUILD_SHARED_LIB=1
75fa8e5
 endif
75fa8e5
 
75fa8e5
-LOCAL_CXXFLAGS += -Wall $(INCLUDE_DIR)
75fa8e5
+LOCAL_CXXFLAGS += $(INCLUDE_DIR)
75fa8e5
 
75fa8e5
 ifdef EXTRAFLAGS
75fa8e5
   LOCAL_CXXFLAGS += $(EXTRAFLAGS)