.SUFFIXES:	.cpp
CCC = g++
#CCFLAGS = -Wall -ggdb -D_NO_UR -D_PERFORM_SCC
CCFLAGS = -Wall -O6 -D_UR_IN_HYPRES -D_PERFORM_SCC -static -march=i686  -funroll-loops -fomit-frame-pointer
#CCFLAGS = -Wall -O6

#CCFLAGS = -Wall -pg

MOBJS = checkpreproc.o cnfoutput.o findscc.o hypres.o\
	preprocessor.o readproblem.o subsume.o uplit.o\
	utilities.o

#	binaryClauses.o buildlinks.o dag.o dpl.o\
#       heur.o initResolver.o naryClauses.o nogood.o\
#       readproblem.o resolvebase.o resolvebcls.o resolveup.o\
#       stats.o undo.o utilites.o findscc.o preprocessor.o\
#	uplit.o checkpreproc.o hypres.o cnfoutput.o subsume.o

HFILES = 2clsEq.h preprocessor.h uniqueset.h utilities.h

# 	  2clsEq.h binaryClauses.h dag.h naryClauses.h\
#         parameters.h resolve.h stats.h undo.h uniqueset.h\
#	  preprocessor.h

.cpp.o:
	$(CCC) $(CCFLAGS) -c $<

all: preQuel 

preQuel: $(MOBJS) main.o
	 $(CCC) $(CCFLAGS) -o preQuel main.o $(MOBJS)

main.o:	$(HFILES)
$(MOBJS):	$(HFILES)

clean:
	rm *.o preQuel

