-
Notifications
You must be signed in to change notification settings - Fork 3
/
Copy pathbuild.xml
81 lines (81 loc) · 4.04 KB
/
build.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
73
74
75
76
77
78
79
80
81
<?xml version="1.0" encoding="UTF-8" standalone="no"?>
<!-- WARNING: Eclipse auto-generated file.
Any modifications will be overwritten.
To include a user specific buildfile here, simply create one in the same
directory with the processing instruction <?eclipse.ant.import?>
as the first entry and export the buildfile again. --><project basedir="." default="build" name="imop-compiler">
<property environment="env"/>
<property name="ECLIPSE_HOME" value="../../../../eclipse/cdt-master/ws/.metadata/.plugins/org.eclipse.pde.core/.install_folders/1655300659131"/>
<property name="workspace_loc:imop-compiler/bin" value="bin"/>
<property name="debuglevel" value="source,lines,vars"/>
<property name="target" value="1.8"/>
<property name="source" value="1.8"/>
<path id="imop-compiler.classpath">
<pathelement location="bin"/>
<pathelement location="third-party-tools/junit.jar"/>
<pathelement location="third-party-tools/org.hamcrest.core_1.3.0.v201303031735.jar"/>
<pathelement location="third-party-tools/com.microsoft.z3.jar"/>
</path>
<path id="run.Demo0 (1).classpath">
<path refid="imop-compiler.classpath"/>
<pathelement location="third-party-tools/junit.jar"/>
<pathelement location="third-party-tools/org.hamcrest.core_1.3.0.v201303031735.jar"/>
<pathelement location="third-party-tools/com.microsoft.z3.jar"/>
</path>
<path id="run.Main (2).classpath">
<path refid="imop-compiler.classpath"/>
<pathelement location="third-party-tools/junit.jar"/>
<pathelement location="third-party-tools/org.hamcrest.core_1.3.0.v201303031735.jar"/>
<pathelement location="third-party-tools/com.microsoft.z3.jar"/>
</path>
<target name="init">
<mkdir dir="bin"/>
<copy includeemptydirs="false" todir="bin">
<fileset dir="src">
<exclude name="**/*.launch"/>
<exclude name="**/*.java"/>
<exclude name="imop/projects/"/>
<exclude name="imop/projects/"/>
</fileset>
</copy>
</target>
<target name="clean">
<delete dir="bin"/>
</target>
<target depends="clean" name="cleanall"/>
<target depends="build-subprojects,build-project" name="build"/>
<target name="build-subprojects"/>
<target depends="init" name="build-project">
<echo message="${ant.project.name}: ${ant.file}"/>
<javac debug="true" debuglevel="${debuglevel}" destdir="bin" includeantruntime="false" source="${source}" target="${target}">
<src path="src"/>
<exclude name="imop/projects/"/>
<exclude name="imop/projects/"/>
<classpath refid="imop-compiler.classpath"/>
</javac>
</target>
<target description="Build all projects which reference this project. Useful to propagate changes." name="build-refprojects"/>
<target description="copy Eclipse compiler jars to ant lib directory" name="init-eclipse-compiler">
<copy todir="${ant.library.dir}">
<fileset dir="${ECLIPSE_HOME}/plugins" includes="org.eclipse.jdt.core_*.jar"/>
</copy>
<unzip dest="${ant.library.dir}">
<patternset includes="jdtCompilerAdapter.jar"/>
<fileset dir="${ECLIPSE_HOME}/plugins" includes="org.eclipse.jdt.core_*.jar"/>
</unzip>
</target>
<target description="compile project with Eclipse compiler" name="build-eclipse-compiler">
<property name="build.compiler" value="org.eclipse.jdt.core.JDTCompilerAdapter"/>
<antcall target="build"/>
</target>
<target name="Demo0 (1)">
<java classname="demo.cgo2023.demo0.Demo0" failonerror="true" fork="yes">
<classpath refid="run.Demo0 (1).classpath"/>
</java>
</target>
<target name="Main (2)">
<java classname="imop.Main" dir="${workspace_loc:imop-compiler/bin}" failonerror="true" fork="yes">
<classpath refid="run.Main (2).classpath"/>
</java>
</target>
</project>