#CFLAGS = -g
#CFLAGS = -O2
#CFLAGS = 
CFLAGS = -DNDEBUG -O2 -fnonnull-objects
#CFLAGS = -DNDEBUG -O2 -fnonnull-objects -pg
LINKFLAGS = -s

# ^^^ add -DNDEBUG to turn off assertion checking ^^^

#CC = /p/bin/g++
#CC = CC
CC = g++

LIBS = -lm

OBJS_c = Random.c ClauseList.c Clause.c SATInstance.c sat_solve.c

OBJS_O = $(OBJS_c:.c=.o)

k-sat_solve: $(OBJS_c) $(OBJS_O) SATSolver.c SATSolver.o
	g++ $(LINKFLAGS) $(CFLAGS) -o rel_sat $(OBJS_O) SATSolver.o $(LIBS)

.KEEP_STATE:
