blob: 35191550c09a2e98896ac5cb0cff1f49d760f6f2 (
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
|
<!-- Export a jar of .class files for the org.eclipse.debug.ui Eclipse plugin
along with other important plugin files to the "plugin-export" subdirectory
of the target Eclipse installation -->
<project name="org.eclipse.debug.ui" 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.debug.ui" />
</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
jarfile="${dest}/dtui.jar"
basedir="../bin"
/>
<!-- Create the source zip -->
<zip zipfile="${dest}/dtuisrc.zip">
<fileset dir="../Eclipse Debug UI"/>
</zip>
<copy file="../plugin.xml" todir="${dest}"/>
<copy file="../plugin.jars" 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>
|
