$OpenBSD: patch-Makefile,v 1.1.1.1 2009/09/17 21:12:04 jasper Exp $
--- Makefile.orig	Thu Sep 17 22:48:50 2009
+++ Makefile	Thu Sep 17 22:49:43 2009
@@ -15,10 +15,8 @@ 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
 
