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