diff --git a/MANIFEST.MF b/MANIFEST.MF new file mode 100644 index 0000000000000000000000000000000000000000..df62370f6b03db068ea8603fadbbfc058c9384d0 --- /dev/null +++ b/MANIFEST.MF @@ -0,0 +1,4 @@ +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 diff --git a/Makefile b/Makefile index 7a6f809998788dede1dc8b4de21a36a2bf37564b..ffc758a8693ee6baf00ce0c2772f461db4a1e12b 100644 --- a/Makefile +++ b/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)