| david_williams | 8a62f0d | 2006-06-28 05:07:27 +0000 | [diff] [blame^] | 1 | <?xml version="1.0" encoding="UTF-8"?> |
| 2 | <project basedir="." default="createDigest"> |
| 3 | |
| 4 | <target name="createDigest" depends="checkArgs"> |
| 5 | |
| 6 | <property name="java15-home" |
| 7 | value="/home/data/users/david_williams/ibm-java2-ppc-50/jre" /> |
| 8 | <property name="buildDirectory" |
| 9 | value="${basedir}" /> |
| 10 | |
| 11 | <java jar="${eclipse.home}/startup.jar" |
| 12 | fork="true" |
| 13 | jvm="${java15-home}/bin/java" |
| 14 | failonerror="true" |
| 15 | maxmemory="128m" |
| 16 | dir="${buildDirectory}"> |
| 17 | <arg line="-application org.eclipse.update.core.siteOptimizer" /> |
| 18 | <arg line="-digestBuilder -digestOutputDir=${updateSite} -siteXML=${updateSite}/site.xml" /> |
| 19 | </java> |
| 20 | |
| 21 | </target> |
| 22 | |
| 23 | <target name="checkArgs"> |
| 24 | <fail message="eclipse.home and updateSite must be set."> |
| 25 | <condition> |
| 26 | <and> |
| 27 | <not> |
| 28 | <isset property="eclipse.home" /> |
| 29 | </not> |
| 30 | <not> |
| 31 | <isset property="updateSite" /> |
| 32 | </not> |
| 33 | </and> |
| 34 | </condition> |
| 35 | </fail> |
| 36 | </target> |
| 37 | |
| 38 | |
| 39 | </project> |