1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
|
<project name="Export Workbench" default="export" basedir="..">
<target name="init">
<tstamp/>
<property name="destdir" value="../../plugin-export" />
<property name="plugin" value="org.eclipse.ui.workbench" />
<property name="version" value="_2.1.0" />
<property name="dest" value="${destdir}/${plugin}${version}" />
</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}/workbench.jar"
basedir="bin"
/>
<copy file="plugin.xml" todir="${dest}"/>
<copy file="plugin.properties" todir="${dest}"/>
<zip zipfile="${dest}/workbenchsrc.zip">
<fileset dir="Eclipse UI" />
<fileset dir="Eclipse UI Editor Support" />
</zip>
</target>
</project>
|
