<?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.planty.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> |