dol: initial dol commit
[jump.git] / dol / examples / runprofiler.xml
1 <?xml version="1.0" encoding="UTF-8"?>
2
3 <project name="runprofiler" default="run" basedir=".">
4
5   <!-- *************************************************************** -->
6   <!-- * properties                                                  * -->
7   <!-- *************************************************************** -->
8   
9   <!-- modify the following properties as required -->
10
11   <!-- directory where DOL is located (needed for reading processnetwork from XML file-->
12   <property name="lib.dir"     location="./../../../jars"/>
13   <property name="bin.dir"     location="./../../../bin"/>
14   <property name="jars"        value=".:./..:${lib.dir}/dol.jar:${lib.dir}/xercesImpl.jar:${lib.dir}/jdom.jar:${bin.dir}/dol.jar:${bin.dir}/xercesImpl.jar:${bin.dir}/jdom.jar"/>
15
16   <!-- classpath delimiter ":" for UNIX, ";" for Windows -->
17   <property name="classpathdelimiter" value=":"/>
18   
19   <!-- this can be overwritten using the -D option to ant, e.g.: -Dnumber=2 -->
20   <property name="number"           value="1"/>
21   
22   <!-- *************************************************************** -->
23   <!-- * targets                                                     * -->
24   <!-- *************************************************************** -->
25   <target name="arch">
26     <java classname="dol.main.Main"
27           classpath="${jars}">
28       <arg line=" -p ../../../examples/arch/vsp.xml"/>
29     </java>
30   </target>
31   
32   <target name="run">
33     <java classname="dol.main.Main"
34           classpath="${jars}">
35       <arg line=" -T profile.txt -P example${number}/example${number}_flattened.xml -G example${number}/example${number}_flattened_annotated.xml"/>
36     </java>
37   </target>
38
39   <target name="standalone">
40     <java classname="dol.helper.profiler.Profiler"
41           classpath="${jars}">
42       <arg line=" profile.txt example${number}/example${number}_flattened.xml"/>
43     </java>
44   </target>
45 </project>