1<!-- build script to create a plugin from org.eclipse.jdt.launching.macosx -->
2
3<project name="org.eclipse.jdt.launching.macosx" default="export" basedir="..">
4	<target name="init">
5		<tstamp/>
6		<property name="destdir" value="../../plugin-export" />
7		<property name="tempdir" value="../../tmp" />
8		<property name="plugin"  value="org.eclipse.jdt.launching.macosx" />
9		<property name="plugin_version"  value="_3.1.0" />
10		<property name="dest"  value="${destdir}/${plugin}${plugin_version}" />
11		<property name="destjar"  value="${destdir}/${plugin}${plugin_version}.jar" />
12		</target>
13
14	<target name="build" depends="init">
15    	<eclipse.incrementalBuild project="${plugin}" kind="incr"/>
16	</target>
17
18	<target name="export" depends="build">
19		<delete dir="${tempdir}" />
20		<mkdir dir="${tempdir}" />
21		<mkdir dir="${destdir}" />
22		<delete file="${destjar}" />
23		<zip zipfile="${tempdir}/src.zip">
24		    <fileset dir="macosx" />
25  		</zip>
26		<zip zipfile="${destjar}">
27			<fileset dir=".">
28			  <include name="plugin.xml" />
29			  <include name="plugin.properties" />
30			  <include name="icons/**" />
31			  <include name="META-INF/**" />
32			</fileset>
33			<fileset dir="bin" />
34			<fileset file="${tempdir}/src.zip" />
35		</zip>
36		<delete file="${tempdir}/src.zip" />
37	</target>
38</project>
39