| <!-- build script to create a plugin from org.eclipse.jdt.launching --> |
| <project name="Export jdt.launching" default="export" basedir=".."> |
| <target name="init"> |
| <tstamp/> |
| <property name="destdir" value="../../plugin-export" /> |
| <property name="plugin" value="org.eclipse.jdt.launching_3.0.0" /> |
| <property name="dest" value="${destdir}/${plugin}" /> |
| </target> |
| |
| <target name="build" depends="init"> |
| <eclipse.incrementalBuild project="${plugin}" kind="incr"/> |
| </target> |
| |
| <target name="export" depends="build"> |
| <mkdir dir="${destdir}" /> |
| <delete dir="${dest}" /> |
| <mkdir dir="${dest}" /> |
| |
| <!-- Create the launching jar --> |
| <jar |
| jarfile="${dest}/launching.jar" |
| basedir="bin" |
| excludes="org/eclipse/jdt/internal/launching/support/**" |
| /> |
| |
| <!-- Copy the launching support jar --> |
| <copy file="lib/launchingsupport.jar" todir="${dest}/lib"/> |
| |
| <copy file="plugin.xml" todir="${dest}"/> |
| <copy file="plugin.properties" todir="${dest}"/> |
| <copy file="java.policy.applet" todir="${dest}"/> |
| <zip zipfile="${dest}/launchingsrc.zip"> |
| <fileset dir="launching" /> |
| </zip> |
| </target> |
| </project> |