# Original approxcount v1.2 makefile.
# Ashish: changed to compile files separately, and added -Wall

CC = g++ -O6 -Wall
#CC = g++ -g -Wall

default: approxcount

approxcount: approxcount.o SATSolution.o Solutions.o
	$(CC) approxcount.o SATSolution.o Solutions.o  -o approxcount -lm

approxcount.o: approxcount.cpp Solutions.h
	$(CC) -c approxcount.cpp

SATSolution.o: SATSolution.cpp SATSolution.h
	$(CC) -c SATSolution.cpp

Solutions.o: Solutions.cpp Solutions.h
	$(CC) -c Solutions.cpp

clean:
	rm -f *.o approxcount

