CFLAGS = -DNDEBUG -O3 -Wall
LINKFLAGS = -s

CXX = g++

.SUFFIXES: .o .cc

OBJS_c = bool_vector.cc dimacs.cc vs.cc main.cc
OBJS_o = bool_vector.o dimacs.o vs.o main.o

vs: $(OBJS_c) $(OBJS_o)
	$(CXX) $(LINKFLAGS) $(CFLAGS) -o $@ $(OBJS_o)

clean:
	rm *.o vs

.cc.o:
	$(CXX) $(CFLAGS) -c $<
