-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathexportSpeedTests_Linux.xml
25 lines (25 loc) · 2.05 KB
/
exportSpeedTests_Linux.xml
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
<?xml version="1.0" encoding="UTF-8" standalone="no"?>
<project default="create_run_jar" name="Create Runnable Jar for Project SATStore with Jar-in-Jar Loader">
<!--this file was created by Eclipse Runnable JAR Export Wizard-->
<!--ANT 1.7 is required -->
<target name="create_run_jar">
<jar destfile="/media/goldencoal/HardVolume/workspace/SATStore/SpeedTests.jar">
<manifest>
<attribute name="Main-Class" value="org.eclipse.jdt.internal.jarinjarloader.JarRsrcLoader"/>
<attribute name="Rsrc-Main-Class" value="WorkflowTests.process.Process"/>
<attribute name="Class-Path" value="."/>
<attribute name="Rsrc-Class-Path" value="./ org.sat4j.core-src.jar org.sat4j.core.jar sat4j-sat.jar javabdd-1.0b2.jar commons-exec-1.1-javadoc.jar commons-exec-1.1.jar commons-math-2.2-javadoc.jar commons-math-2.2.jar"/>
</manifest>
<zipfileset src="jar-in-jar-loader.zip"/>
<fileset dir="/media/goldencoal/HardVolume/workspace/SATStore/bin"/>
<zipfileset dir="/media/goldencoal/HardVolume/workspace/SATStore/src" includes="org.sat4j.core-src.jar"/>
<zipfileset dir="/media/goldencoal/HardVolume/workspace/SATStore/src" includes="org.sat4j.core.jar"/>
<zipfileset dir="/media/goldencoal/HardVolume/workspace/SATStore/src" includes="sat4j-sat.jar"/>
<zipfileset dir="/media/goldencoal/HardVolume/workspace/SATStore/src" includes="javabdd-1.0b2.jar"/>
<zipfileset dir="/media/goldencoal/HardVolume/workspace/SATStore/src" includes="commons-exec-1.1-javadoc.jar"/>
<zipfileset dir="/media/goldencoal/HardVolume/workspace/SATStore/src" includes="commons-exec-1.1.jar"/>
<zipfileset dir="/media/goldencoal/HardVolume/workspace/SATStore/src" includes="commons-math-2.2-javadoc.jar"/>
<zipfileset dir="/media/goldencoal/HardVolume/workspace/SATStore/src" includes="commons-math-2.2.jar"/>
</jar>
</target>
</project>