-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathexportSpeedTests.xml
72 lines (72 loc) · 6.83 KB
/
exportSpeedTests.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
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
<?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="D:/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 commons-primitives-1.0.jar batik-anim.jar batik-awt-util.jar batik-bridge.jar batik-codec.jar batik-css.jar batik-dom.jar batik-ext.jar batik-extension.jar batik-gui-util.jar batik-gvt.jar batik-parser.jar batik-script.jar batik-svg-dom.jar batik-svggen.jar batik-swing.jar batik-transcoder.jar batik-util.jar batik-xml.jar js.jar xml-apis.jar xalan-2.6.0.jar xerces_2_5_0.jar xml-apis-ext.jar batik-rasterizer.jar batik-slideshow.jar batik-squiggle.jar batik-svgpp.jar batik-ttf2svg.jar batik.jar commons-io-1.3.1.jar commons-logging-1.0.4.jar xmlgraphics-commons-1.5.jar avalon-framework-4.2.0.jar serializer-2.7.0.jar xalan-2.7.0.jar xercesImpl-2.7.1.jar xml-apis-1.3.04.jar xml-apis-ext-1.3.04.jar fop.jar fop-hyph.jar fop-sandbox.jar fop-transcoder-allinone.jar fop-transcoder.jar fop.war jbliss.jar"/>
</manifest>
<zipfileset src="jar-in-jar-loader.zip"/>
<fileset dir="D:/workspace/SATStore/bin"/>
<zipfileset dir="D:\workspace\SATStore\src" includes="org.sat4j.core-src.jar"/>
<zipfileset dir="D:\workspace\SATStore\src" includes="org.sat4j.core.jar"/>
<zipfileset dir="D:\workspace\SATStore\src" includes="sat4j-sat.jar"/>
<zipfileset dir="D:\workspace\SATStore\src" includes="javabdd-1.0b2.jar"/>
<zipfileset dir="D:\workspace\SATStore\src" includes="commons-exec-1.1-javadoc.jar"/>
<zipfileset dir="D:\workspace\SATStore\src" includes="commons-exec-1.1.jar"/>
<zipfileset dir="D:\workspace\SATStore\src" includes="commons-math-2.2-javadoc.jar"/>
<zipfileset dir="D:\workspace\SATStore\src" includes="commons-math-2.2.jar"/>
<zipfileset dir="D:\workspace\SATStore" includes="commons-primitives-1.0.jar"/>
<zipfileset dir="D:\workspace\SATStore\batik\lib" includes="batik-anim.jar"/>
<zipfileset dir="D:\workspace\SATStore\batik\lib" includes="batik-awt-util.jar"/>
<zipfileset dir="D:\workspace\SATStore\batik\lib" includes="batik-bridge.jar"/>
<zipfileset dir="D:\workspace\SATStore\batik\lib" includes="batik-codec.jar"/>
<zipfileset dir="D:\workspace\SATStore\batik\lib" includes="batik-css.jar"/>
<zipfileset dir="D:\workspace\SATStore\batik\lib" includes="batik-dom.jar"/>
<zipfileset dir="D:\workspace\SATStore\batik\lib" includes="batik-ext.jar"/>
<zipfileset dir="D:\workspace\SATStore\batik\lib" includes="batik-extension.jar"/>
<zipfileset dir="D:\workspace\SATStore\batik\lib" includes="batik-gui-util.jar"/>
<zipfileset dir="D:\workspace\SATStore\batik\lib" includes="batik-gvt.jar"/>
<zipfileset dir="D:\workspace\SATStore\batik\lib" includes="batik-parser.jar"/>
<zipfileset dir="D:\workspace\SATStore\batik\lib" includes="batik-script.jar"/>
<zipfileset dir="D:\workspace\SATStore\batik\lib" includes="batik-svg-dom.jar"/>
<zipfileset dir="D:\workspace\SATStore\batik\lib" includes="batik-svggen.jar"/>
<zipfileset dir="D:\workspace\SATStore\batik\lib" includes="batik-swing.jar"/>
<zipfileset dir="D:\workspace\SATStore\batik\lib" includes="batik-transcoder.jar"/>
<zipfileset dir="D:\workspace\SATStore\batik\lib" includes="batik-util.jar"/>
<zipfileset dir="D:\workspace\SATStore\batik\lib" includes="batik-xml.jar"/>
<zipfileset dir="D:\workspace\SATStore\batik\lib" includes="js.jar"/>
<zipfileset dir="D:\workspace\SATStore\batik\lib" includes="xml-apis.jar"/>
<zipfileset dir="D:\workspace\SATStore\batik\lib" includes="xalan-2.6.0.jar"/>
<zipfileset dir="D:\workspace\SATStore\batik\lib" includes="xerces_2_5_0.jar"/>
<zipfileset dir="D:\workspace\SATStore\batik\lib" includes="xml-apis-ext.jar"/>
<fileset dir="D:/workspace/SATStore/batik/lib"/>
<zipfileset dir="D:\workspace\SATStore\batik\lib" includes="batik-rasterizer.jar"/>
<zipfileset dir="D:\workspace\SATStore\batik\lib" includes="batik-slideshow.jar"/>
<zipfileset dir="D:\workspace\SATStore\batik\lib" includes="batik-squiggle.jar"/>
<zipfileset dir="D:\workspace\SATStore\batik\lib" includes="batik-svgpp.jar"/>
<zipfileset dir="D:\workspace\SATStore\batik\lib" includes="batik-ttf2svg.jar"/>
<zipfileset dir="D:\workspace\SATStore\batik\lib" includes="batik.jar"/>
<zipfileset dir="D:\workspace\SATStore\batik\lib" includes="commons-io-1.3.1.jar"/>
<zipfileset dir="D:\workspace\SATStore\batik\lib" includes="commons-logging-1.0.4.jar"/>
<zipfileset dir="D:\workspace\SATStore\batik\lib" includes="xmlgraphics-commons-1.5.jar"/>
<zipfileset dir="D:\workspace\SATStore\batik\lib" includes="avalon-framework-4.2.0.jar"/>
<zipfileset dir="D:\workspace\SATStore\batik\lib" includes="serializer-2.7.0.jar"/>
<zipfileset dir="D:\workspace\SATStore\batik\lib" includes="xalan-2.7.0.jar"/>
<zipfileset dir="D:\workspace\SATStore\batik\lib" includes="xercesImpl-2.7.1.jar"/>
<zipfileset dir="D:\workspace\SATStore\batik\lib" includes="xml-apis-1.3.04.jar"/>
<zipfileset dir="D:\workspace\SATStore\batik\lib" includes="xml-apis-ext-1.3.04.jar"/>
<zipfileset dir="D:\workspace\SATStore\batik\lib" includes="fop.jar"/>
<zipfileset dir="D:\workspace\SATStore\batik\lib" includes="fop-hyph.jar"/>
<zipfileset dir="D:\workspace\SATStore\batik\lib" includes="fop-sandbox.jar"/>
<zipfileset dir="D:\workspace\SATStore\batik\lib" includes="fop-transcoder-allinone.jar"/>
<zipfileset dir="D:\workspace\SATStore\batik\lib" includes="fop-transcoder.jar"/>
<zipfileset dir="D:\workspace\SATStore\batik\lib" includes="fop.war"/>
<zipfileset dir="D:\workspace\SATStore\src" includes="jbliss.jar"/>
</jar>
</target>
</project>