Исправлна сборка под linux.

MANIFEST.MF

+Manifest-Version: 1.0
+Created-By: Vlad_kv
+Class-Path: ./org.sat4j.core.jar ./org.sat4j.pb.jar ./args4j-2.33.jar
+Main-Class: inport.Main

Makefile

@@ -4,6 +4,6 @@ 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
+	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)