blob: 6444f3f8320af3db8e5b79899dc720a35431af75 (
plain) (
blame)
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
31
32
33
34
35
36
37
38
39
40
|
<?xml version="1.0" encoding="UTF-8"?>
<!-- Export a jar of .class files for the org.eclipse.ui.externaltools Eclipse plug-in
along with other important plugin files to the "plugin-export" subdirectory
of the target Eclipse installation
-->
<project name="Export externaltools" default="export" basedir="..">
<!-- Set the timestamp and important properties -->
<target name="init">
<tstamp/>
<property name="destdir" value="../../plugin-export" />
<property name="dest" value="${destdir}/org.eclipse.ui.externaltools_3.0.0" />
</target>
<!-- Create the jar of .class files, and copy other important files to export dir -->
<target name="export" depends="init">
<mkdir dir="${destdir}" />
<delete dir="${dest}" />
<mkdir dir="${dest}" />
<jar destfile="${dest}/externaltools.jar">
<fileset dir="bin">
</fileset>
</jar>
<!-- Create the source zip -->
<zip destfile="${dest}/externaltoolssrc.zip">
<fileset dir="External Tools Base"/>
<fileset dir="Program Tools Support"/>
</zip>
<copy file="plugin.xml" todir="${dest}"/>
<copy file="plugin.properties" todir="${dest}"/>
<copy file=".classpath" todir="${dest}"/>
<copy file=".options" todir="${dest}"/>
<copy todir="${dest}/icons">
<fileset dir="icons" />
</copy>
</target>
</project>
|
