$OpenBSD: patch-Makefile,v 1.2 2010/05/13 18:29:47 jasper Exp $
--- Makefile.orig	Tue Jul  5 09:31:00 2005
+++ Makefile	Thu May 13 20:27:45 2010
@@ -15,11 +15,9 @@ RCOBJS    = $(addsuffix r,  $(COBJS))
 
 EXEC      = minisat
 
-CXX       = g++
-CFLAGS    = -Wall -ffloat-store
-COPTIMIZE = -O3
+CXX       ?= g++
+CFLAGS    += -Wall -ffloat-store
 
-
 .PHONY : s p d r build clean depend
 
 s:	WAY=standard
@@ -50,7 +48,7 @@ clean:
 ## Build rule
 %.o %.op %.od %.or:	%.C
 	@echo Compiling: $<
-	@$(CXX) $(CFLAGS) -c -o $@ $<
+	$(CXX) $(CFLAGS) -c -o $@ $<
 
 ## Linking rules (standard/profile/debug/release)
 $(EXEC): $(COBJS)
