#CFLAGS = -g -+ -DMEM_DEBUG -I./gmp
# add -DNDEBUG to turn off assertion checking
# ^^ Use -DNO_GMP if you want to get it to compile without installing the 
#CFLAGS = -DNDEBUG -DNO_GMP -O3 -Q -+
# Gnu "gmp" bignum package (not recommended unless you don't plan on using counting)
#CFLAGS = -DNDEBUG -O3 -Q -+ -I./gmp

CFLAGS = -DNDEBUG -DNO_GMP -O3 -Q -+


#CC = CC
#CC = xlC
CC = g++

.SUFFIXES: .o .cpp

#LIBS = -lm ./gmp/libgmp.a
LIBS_nogmp = -lm

OBJS_c = Debug.cpp SATPreprocessor.cpp Random.cpp ClauseList.cpp Clause.cpp SATInstance.cpp sat_solve.cpp SATSolver.cpp VariableList.cpp randgen.cpp
OBJS_o = $(OBJS_c:.cpp=.o)

#relsat: $(OBJS_c) $(OBJS_o)
#	$(CC) $(LINKFLAGS) $(CFLAGS) -o relsat $(OBJS_o) $(LIBS)

relsat: $(OBJS_c) $(OBJS_o)
	$(CC) $(LINKFLAGS) $(CFLAGS) -o relsat $(OBJS_o) $(LIBS_nogmp)

.cpp.o:
	$(CC) $(CFLAGS) -c $< 

