scripts/exportplugin.xml

<?xml version="1.0" encoding="UTF-8"?>

<!-- build script to create a plugin from org.eclipse.jdt.core -->
<project name="org.eclipse.jdt.core" default="export plug-in [_1.9.0]" basedir="..">

<target name="zz_init">
	<tstamp/>
	<property name="export-dir" value="../../plugin-export" />
</target>

<target name="export plug-in [_1.9.0]" depends="zz_init">
	<antcall target="zz_internal_export">
	<param name="dest" value="${export-dir}/org.eclipse.jdt.core_1.9.0"/>
	</antcall>
</target>

<target name="export plug-in [no version]" depends="zz_init">
	<antcall target="zz_internal_export">
	<param name="dest" value="${export-dir}/org.eclipse.jdt.core"/>
	</antcall>
</target>

<target name="zz_internal_export">

	<tstamp/>

	<echo message="TARGET: ${export-dir}" />
	<mkdir dir="${export-dir}" />
	<delete dir="${dest}" />
	<mkdir dir="${dest}" />

	<echo message="UPDATE jdtcore.jar" />
	<jar 
		jarfile="${dest}/jdtcore.jar"
		basedir="bin" />
		
	<echo message="UPDATE plugin.xml" />
	<copy file="plugin.xml" todir="${dest}" />
	<echo message="UPDATE plugin.properties" />
	<copy file="plugin.properties" todir="${dest}" />

	<echo message="UPDATE notice.html" />
	<copy file="notice.html" todir="${dest}" />
		
	<echo message="UPDATE .options" />
	<copy file=".options" todir="${dest}" />

	<echo message="UPDATE about.html" />
	<copy file="about.html" todir="${dest}" />

	<echo message="UPDATE jdtCompilerAdapter.jar" />
	<copy file="jdtCompilerAdapter.jar" todir="${dest}" />
	<echo message="UPDATE jdtcoresrc.zip" />
	<zip zipfile="${dest}/jdtcoresrc.zip">
	    <zipfileset dir="batch" />
	    <zipfileset dir="codeassist" />
	    <zipfileset dir="compiler" />
	    <zipfileset dir="search" />
	    <zipfileset dir="eval" />
	    <zipfileset dir="model" />
	    <zipfileset dir="formatter" />
	    <zipfileset dir="dom" />
	</zip>		
</target>

</project>