diff --git a/build.xml b/build.xml index 94e104395c90b0b9fdce5ac46e29f41e7b43984e..4766da73975c607b6f4db3f2465019d1e5b71d81 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>