blob: b97797c01051e1ffabe96b34543297e2555e2119 [file] [log] [blame]
<!-- 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_2.1.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}" />
<jar
jarfile="${dest}/launching.jar"
basedir="bin"
/>
<copy file="plugin.xml" todir="${dest}"/>
<copy file="plugin.properties" todir="${dest}"/>
<zip zipfile="${dest}/launchingsrc.zip">
<fileset dir="launching" />
</zip>
</target>
</project>