From af24abf210adf5876f72d7f88a31e357f26b9828 Mon Sep 17 00:00:00 2001
From: Daniel Plagge <plagge@cs.uni-duesseldorf.de>
Date: Thu, 14 Apr 2011 08:02:37 +0000
Subject: [PATCH] added sat4j jar to the JAR's classpath, because the command
line given classpath is ignored in conjunction with the -jar option.
git-svn-id: https://cobra.cs.uni-duesseldorf.de/prob/trunk/experimental/plagge/probkodkod@7685 7aec93f6-bc54-0410-ac70-7d7c9efa889a
---
build.xml | 5 +++--
1 file changed, 3 insertions(+), 2 deletions(-)
diff --git a/build.xml b/build.xml
index 94e1043..4766da7 100644
--- a/build.xml
+++ b/build.xml
@@ -10,7 +10,8 @@
<property name="main.class" value="de.stups.probkodkod.KodkodInteraction"/>
<property name="lib" value="lib"/>
<property name="kodkod" value="${lib}/kodkod.jar"/>
- <property name="sat4j" value="${lib}/org.sat4j.core.jar"/>
+ <property name="sat4jjar" value="org.sat4j.core.jar"/>
+ <property name="sat4j" value="${lib}/${sat4jjar}"/>
<property name="prolog" value="${lib}/prolog.jar"/>
<property name="junit" value="${lib}/junit-4.8.2.jar"/>
<property name="uptodate" value="uptodate"/>
@@ -92,7 +93,7 @@
<manifest file="${build}/MANIFEST.MF">
<attribute name="Built-By" value="${user.name}"/>
<attribute name="Main-Class" value="${main.class}"/>
- <attribute name="Class-Path" value="kodkod.jar"/>
+ <attribute name="Class-Path" value="${sat4jjar}"/>
</manifest>
</target>
--
GitLab