diff options
| -rw-r--r-- | org.eclipse.debug.core/scripts/exportplugin.xml | 32 | ||||
| -rw-r--r-- | org.eclipse.debug.ui/scripts/exportplugin.xml | 35 | ||||
| -rw-r--r-- | org.eclipse.ui.console/scripts/exportplugin.xml | 35 | ||||
| -rw-r--r-- | org.eclipse.ui.externaltools/buildfiles/exportplugin.xml | 36 |
4 files changed, 138 insertions, 0 deletions
diff --git a/org.eclipse.debug.core/scripts/exportplugin.xml b/org.eclipse.debug.core/scripts/exportplugin.xml new file mode 100644 index 000000000..c29eada53 --- /dev/null +++ b/org.eclipse.debug.core/scripts/exportplugin.xml @@ -0,0 +1,32 @@ +<!-- Export a jar of .class files for the org.eclipse.debug.core Eclipse plugin + along with other important plugin files to the "plugin-export" subdirectory + of the target Eclipse installation --> +<project name="Export debug.core" 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.core_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}/dtcore.jar" + basedir="bin" + /> + <!-- Create the source zip --> + <zip zipfile="${dest}/dtcoresrc.zip"> + <fileset dir="core"/> + </zip> + <copy file="plugin.xml" todir="${dest}"/> + <copy file="plugin.properties" todir="${dest}"/> + <copy file=".classpath" todir="${dest}"/> + <copy file=".options" todir="${dest}"/> + </target> + +</project> diff --git a/org.eclipse.debug.ui/scripts/exportplugin.xml b/org.eclipse.debug.ui/scripts/exportplugin.xml new file mode 100644 index 000000000..2b66e4cfc --- /dev/null +++ b/org.eclipse.debug.ui/scripts/exportplugin.xml @@ -0,0 +1,35 @@ +<!-- 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="Export 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_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}/dtui.jar" + basedir="bin" + /> + <!-- Create the source zip --> + <zip zipfile="${dest}/dtuisrc.zip"> + <fileset dir="ui"/> + </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> diff --git a/org.eclipse.ui.console/scripts/exportplugin.xml b/org.eclipse.ui.console/scripts/exportplugin.xml new file mode 100644 index 000000000..af246f1b1 --- /dev/null +++ b/org.eclipse.ui.console/scripts/exportplugin.xml @@ -0,0 +1,35 @@ +<!-- Export a jar of .class files for the org.eclipse.ui.console Eclipse plugin + along with other important plugin files to the "plugin-export" subdirectory + of the target Eclipse installation --> +<project name="Export ui.console" 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.console_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}/console.jar" + basedir="bin" + /> + <!-- Create the source zip --> + <zip zipfile="${dest}/consolesrc.zip"> + <fileset dir="src"/> + </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> 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> |