| <project name="org.eclipse.jdt.ui" default="export" basedir=".."> |
| <!-- build script to create a plugin from org.eclipse.core.expressions --> |
| |
| <target name="init"> |
| <tstamp/> |
| <property name="destdir" value="../../plugin-export" /> |
| <property name="tempdir" value="../../tmp" /> |
| <property name="plugin" value="org.eclipse.core.expressions" /> |
| <property name="version" value="_3.1.0" /> |
| <property name="destjar" value="${destdir}/${plugin}${version}.jar" /> |
| </target> |
| |
| <target name="build" depends="init"> |
| <eclipse.incrementalBuild project="${plugin}" kind="incr"/> |
| </target> |
| |
| <target name="export" depends="build"> |
| <delete dir="${tempdir}" /> |
| <mkdir dir="${tempdir}" /> |
| <mkdir dir="${destdir}" /> |
| <delete file="${destjar}" /> |
| <zip zipfile="${tempdir}/src.zip"> |
| <fileset dir="src" /> |
| </zip> |
| <jar jarfile="${destjar}"> |
| <fileset dir="bin" /> |
| <fileset file="${tempdir}/src.zip" /> |
| <fileset file="plugin.xml" /> |
| <fileset file="plugin.properties" /> |
| </jar> |
| <delete file="${tempdir}/src.zip" /> |
| </target> |
| </project> |