blob: d49dc5a9613762fc694bccd87c65fc57ff974982 [file] [log] [blame]
david_williams8a62f0d2006-06-28 05:07:27 +00001<?xml version="1.0" encoding="UTF-8"?>
david_williams21de4062007-05-05 07:18:56 +00002<project
3 basedir="."
4 default="createDigest">
david_williamsf6f05a32008-05-28 04:58:45 +00005 <property environment="env"/>
david_williams21de4062007-05-05 07:18:56 +00006 <target
7 name="createDigest"
8 depends="checkArgs">
david_williams8a62f0d2006-06-28 05:07:27 +00009
david_williamsf6f05a32008-05-28 04:58:45 +000010 <fail unless="env.JAVA_5_HOME" message="Must provide env.JAVA_5_HOME" />
david_williams7bb3b412008-05-28 04:48:07 +000011
david_williams21de4062007-05-05 07:18:56 +000012 <property
13 name="buildDirectory"
14 value="${basedir}" />
david_williams8a62f0d2006-06-28 05:07:27 +000015
david_williams21de4062007-05-05 07:18:56 +000016
17 <java
18 taskname="createDigestJob"
19 fork="true"
20 resultProperty="createDigestResult"
21 failonerror="true"
david_williamsf6f05a32008-05-28 04:58:45 +000022 jvm="${env.JAVA_5_HOME}/bin/java"
david_williams21de4062007-05-05 07:18:56 +000023 classname="org.eclipse.equinox.launcher.Main"
24 maxmemory="128m"
25 dir="${buildDirectory}">
26 <classpath>
27 <fileset dir="${eclipse.home}/plugins">
28 <include name="org.eclipse.equinox.launcher_*.jar" />
29 </fileset>
30 </classpath>
31
32
david_williams1672c662008-05-28 06:06:53 +000033 <arg line="-consolelog" />
david_williams21de4062007-05-05 07:18:56 +000034 <arg
35 line="-application org.eclipse.update.core.siteOptimizer" />
36 <arg
david_williams2fec6312007-05-27 06:24:24 +000037 line="-digestBuilder -digestOutputDir=${update.site} -siteXML=${update.site}/site.xml" />
david_williams8a62f0d2006-06-28 05:07:27 +000038 </java>
39
40 </target>
41
42 <target name="checkArgs">
david_williamsed5201c2007-05-27 05:48:38 +000043 <fail message="eclipse.home and update.site must be set.">
david_williams8a62f0d2006-06-28 05:07:27 +000044 <condition>
45 <and>
46 <not>
47 <isset property="eclipse.home" />
48 </not>
49 <not>
david_williamsed5201c2007-05-27 05:48:38 +000050 <isset property="update.site" />
david_williams8a62f0d2006-06-28 05:07:27 +000051 </not>
52 </and>
53 </condition>
54 </fail>
55 </target>
56
57
58</project>