-
Notifications
You must be signed in to change notification settings - Fork 1
/
config.xml
70 lines (70 loc) · 2.92 KB
/
config.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
<project name="BuildConfig" xmlns:maven="urn:maven-ant">
<!-- Set the current version -->
<property name="version" value="0.2.5"/>
<!-- Configure various properties -->
<property environment="env"/>
<property name="WHILEYHOME" value="${env.WHILEYHOME}"/>
<property name="SRC_DIR" value="src"/>
<property name="BIN_DIR" value="bin"/>
<property name="WHILEY_DIR" value="${SRC_DIR}/whiley"/>
<property name="JAVA_DIR" value="${SRC_DIR}/java"/>
<property name="WYIL_DIR" value="${BIN_DIR}/wyil"/>
<property name="WYAL_DIR" value="${BIN_DIR}/wyal"/>
<property name="CLASS_DIR" value="${BIN_DIR}/classes"/>
<property name="JS_DIR" value="${BIN_DIR}/js"/>
<!-- Enable/disable verification -->
<property name="wyc.verification" value="false"/>
<!-- Enable/disable verification condition generation -->
<property name="wyc.vcg" value="true"/>
<!-- Define destination for jar -->
<property name="LIB_DIR" value="lib/"/>
<!-- Load the Maven Ant tasks so that we can work with Maven repositories. -->
<typedef uri="urn:maven-ant" classpath="lib/maven-ant-tasks-2.1.3.jar" resource="org/apache/maven/artifact/ant/antlib.xml"/>
<!-- Set the classpath for Junit and its dependencies -->
<maven:dependencies pathId="wyc.jar">
<dependency groupId="org.whiley" artifactId="wyc" version="0.6.7"/>
</maven:dependencies>
<maven:dependencies pathId="wyjc.jar">
<dependency groupId="org.whiley" artifactId="wyjc" version="0.4.7"/>
</maven:dependencies>
<maven:dependencies pathId="wyjs.jar">
<dependency groupId="org.whiley" artifactId="wyjs" version="0.4.7"/>
</maven:dependencies>
<!-- Define the WyC build task -->
<taskdef name="wyc" classname="wyc.util.AntTask">
<classpath>
<path refid="wyc.jar"/>
<!--
<pathelement location="${WHILEYHOME}/lib/wyc-0.5.6.jar"/>
<pathelement location="${WHILEYHOME}/lib/wycc-0.6.3.jar"/>
<pathelement location="${WHILEYHOME}/lib/wytp-0.6.12.jar"/>
-->
</classpath>
</taskdef>
<!-- Define the WyJC build task -->
<taskdef name="wyjc" classname="wyjc.util.AntTask">
<classpath>
<path refid="wyjc.jar"/>
<!--
<pathelement location="${WHILEYHOME}/lib/wyc-0.4.15.jar"/>
<pathelement location="${WHILEYHOME}/lib/wycc-0.5.6.jar"/>
<pathelement location="${WHILEYHOME}/lib/wytp-0.6.3.jar"/>
<pathelement location="${WHILEYHOME}/lib/wyjc-0.4.4.jar"/>
<pathelement location="${WHILEYHOME}/lib/jasm-1.0.1.jar"/>
-->
</classpath>
</taskdef>
<!-- Define the WyJS build task -->
<taskdef name="wyjs" classname="wyjs.util.AntTask">
<classpath>
<path refid="wyc.jar"/>
<path refid="wyjs.jar"/>
<!--
<pathelement location="${WHILEYHOME}/lib/wyc-0.4.15.jar"/>
<pathelement location="${WHILEYHOME}/lib/wycc-0.5.7.jar"/>
<pathelement location="${WHILEYHOME}/lib/wytp-0.6.3.jar"/>
<pathelement location="${WHILEYHOME}/lib/wyjs-0.3.jar"/>
-->
</classpath>
</taskdef>
</project>