.PHONY: Conversion.jar

out_dir = temp

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