From 370260e99b219a953bfaebea520f8ba25947dd20 Mon Sep 17 00:00:00 2001 From: Vlad_kv Date: Mon, 5 Aug 2019 21:10:12 +0300 Subject: [PATCH] =?UTF-8?q?=D0=98=D1=81=D0=BF=D1=80=D0=B0=D0=B2=D0=BB?= =?UTF-8?q?=D0=BD=D0=B0=20=D1=81=D0=B1=D0=BE=D1=80=D0=BA=D0=B0=20=D0=BF?= =?UTF-8?q?=D0=BE=D0=B4=20linux.?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- MANIFEST.MF | 4 ++++ Makefile | 4 ++-- 2 files changed, 6 insertions(+), 2 deletions(-) create mode 100644 MANIFEST.MF diff --git a/MANIFEST.MF b/MANIFEST.MF new file mode 100644 index 0000000..df62370 --- /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 7a6f809..ffc758a 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) -- GitLab