compile:
	rm -fr ./bin
	mkdir bin
	javac -d bin/ -sourcepath src/ `find src -type f -name '*.java'`

jar: compile
	rm -fr ./dist
	mkdir dist
	jar -cvf dist/satsolverimpl.jar -C bin `find bin -type f -name '*.class'`

javadoc:
	rm -rf ./doc
	mkdir doc
	javadoc -classpath src/ -d doc/ edu.neu.ccs.satsolver edu.neu.ccs.satsolver.util 

test: compile
	rm -fr ./bin-test
	mkdir bin-test
	javac -d bin-test/ -sourcepath test/ -classpath bin:lib/junit.jar `find test -type f -name '*.java'`
	java -cp lib/junit.jar:bin:bin-test junit.textui.TestRunner AllTests

clean:
	rm -f -r ./bin ./dist ./doc ./bin-test
