blob: 7a339752778dc787302e909677b516c03deeb9bd (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
|
--- xmlimplsrc/build.xml.orig 2011-05-09 20:04:38.000000000 +0000
+++ xmlimplsrc/build.xml 2011-06-29 10:54:38.000000000 +0000
@@ -147,7 +147,7 @@
<target name="xmlbeans-get" unless="xmlbeans-zip-present?">
<property
name="xmlbeans.url"
- value="http://www.apache.org/dist/xmlbeans/binaries/xmlbeans-2.2.0.zip"
+ value="http://www.apache.org/dist/xmlbeans/binaries/xmlbeans-2.5.0.zip"
/>
<mkdir dir="${xmlbeans.tmp}" />
@@ -157,8 +157,8 @@
<target name="xmlbeans-unzip" unless="xmlbeans-present?">
<antcall target="xmlbeans-get" />
<unzip src="${xmlbeans.zip}" dest="${xmlbeans.tmp}" />
- <copy tofile="${xbean.jar}" file="${xmlbeans.tmp}/xmlbeans-2.2.0/lib/xbean.jar" />
- <copy tofile="${jsr173.jar}" file="${xmlbeans.tmp}/xmlbeans-2.2.0/lib/jsr173_1.0_api.jar" />
+ <copy tofile="${xbean.jar}" file="${xmlbeans.tmp}/xmlbeans-2.5.0/lib/xbean.jar" />
+ <copy tofile="${jsr173.jar}" file="${xmlbeans.tmp}/xmlbeans-2.5.0/lib/jsr173_1.0_api.jar" />
<delete dir="${xmlbeans.tmp}" />
</target>
</project>
|
