| <?xml version="1.0" encoding="UTF-8"?> |
| <project name="org.eclipse.ui.externaltools.internal.ant.editor" default="zip.plugin" basedir="."> |
| <target name="init" depends="properties"> |
| <property file="build.properties" /> |
| <property name="version.suffix" value="_0.4.5" /> |
| <property name="plugins_dir" value="${eclipse_dir}/plugins" /> |
| <property name="plugin" value="org.eclipse.ui.externaltools.internal.ant.editor" /> |
| <property name="full.name" value="${plugin}${version.suffix}" /> |
| <property name="temp.folder" value="${basedir}/temp.folder" /> |
| <property name="plugin.destination" value="${basedir}" /> |
| <property name="build.result.folder" value="${basedir}" /> |
| <property name="source.antEditor.jar" value="src/" /> |
| <echo message="Value is ${plugins_dir}" /> |
| </target> |
| |
| <target name="properties" if="eclipse.running"> |
| <property name="build.compiler" value="org.eclipse.jdt.core.JDTCompilerAdapter"/> |
| </target> |
| |
| </project> |
