diff options
| author | Darin Wright | 2003-09-30 16:40:05 +0000 |
|---|---|---|
| committer | Darin Wright | 2003-09-30 16:40:05 +0000 |
| commit | 449c8f1b6ef7c431989d1bcc24623e3f80de4ed4 (patch) | |
| tree | 7c66d7f05b7f08a9e501af7fdbcf078eac929afa /org.eclipse.ui.externaltools/buildfiles | |
| parent | df8f4de0e6329b7ffafee8419d70691623f4e147 (diff) | |
| download | eclipse.platform.debug-449c8f1b6ef7c431989d1bcc24623e3f80de4ed4.tar.gz eclipse.platform.debug-449c8f1b6ef7c431989d1bcc24623e3f80de4ed4.tar.xz eclipse.platform.debug-449c8f1b6ef7c431989d1bcc24623e3f80de4ed4.zip | |
export plugin scripts
Diffstat (limited to 'org.eclipse.ui.externaltools/buildfiles')
| -rw-r--r-- | org.eclipse.ui.externaltools/buildfiles/exportplugin.xml | 36 |
1 files changed, 36 insertions, 0 deletions
diff --git a/org.eclipse.ui.externaltools/buildfiles/exportplugin.xml b/org.eclipse.ui.externaltools/buildfiles/exportplugin.xml new file mode 100644 index 000000000..99aa388ae --- /dev/null +++ b/org.eclipse.ui.externaltools/buildfiles/exportplugin.xml @@ -0,0 +1,36 @@ +<!-- 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 jarfile="${dest}/externaltools.jar"> + <fileset dir="bin"> + </fileset> + </jar> + <!-- Create the source zip --> + <zip zipfile="${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> |