.PHONY: Conversion.jar

out_dir = temp

Conversion.jar:
	mkdir -p $(out_dir)
	javac -d $(out_dir) -encoding UTF-8 -cp annotations-java8.jar -cp org.sat4j.core.jar -cp org.sat4j.pb.jar src/inport/*.java src/inport/ConversionUtils/*.java
	jar cfe Conversion.jar inport.Main org.sat4j.core.jar org.sat4j.pb.jar -C $(out_dir) inport -C src constraints
	rm -r -f $(out_dir)