31e4d5e15e
git-svn-id: https://pmd.svn.sourceforge.net/svnroot/pmd/trunk@7037 51baf565-9d33-0410-a72c-fc3788e3496d
83 lines
2.9 KiB
XML
83 lines
2.9 KiB
XML
<project name="PMDPlugin" default="dist" basedir=".">
|
|
|
|
<!-- user defined build properties, these override any properties set below -->
|
|
<property file="build.properties"/>
|
|
<property file="../build.properties"/>
|
|
|
|
<!-- properties specific to this build file -->
|
|
<property name="build" location="build"/>
|
|
<property name="src" location="src"/>
|
|
<property name="lib" location="lib"/>
|
|
|
|
<!-- default location of jEdit installation containing jedit.jar -->
|
|
<property name="jedit.install.dir" location="../.."/>
|
|
|
|
<!-- default location of user folder containing plugin jars -->
|
|
<property name="install.dir" location="${user.home}/.jedit/jars"/>
|
|
<property name="jedit.plugins.dir" location="${install.dir}"/>
|
|
|
|
<!-- set up the classpath for the build -->
|
|
<path id="project.class.path">
|
|
<pathelement location="${jedit.install.dir}/jedit.jar"/>
|
|
<pathelement location="${jedit.plugins.dir}/ErrorList.jar"/>
|
|
<pathelement location="${jedit.plugins.dir}/CommonControls.jar"/>
|
|
<pathelement location="${jedit.plugins.dir}/kappalayout.jar"/>
|
|
<pathelement location="${build}"/>
|
|
<fileset casesensitive="false" id="pmd.libs" dir="${lib}">
|
|
<include name="*.jar"/>
|
|
</fileset>
|
|
</path>
|
|
|
|
<!-- might be able to auto-reload the plugin -->
|
|
<condition property="can.reload.plugins">
|
|
<and>
|
|
<available classname="org.gjt.sp.jedit.jEdit"/>
|
|
<available classname="ReloadPluginTask"/>
|
|
</and>
|
|
</condition>
|
|
|
|
<!-- Target: clean - delete the build directory contents -->
|
|
<target name="clean">
|
|
<delete dir="${build}"/>
|
|
<mkdir dir="${build}"/>
|
|
</target>
|
|
|
|
<!-- Target: compile -->
|
|
<target name="compile">
|
|
<mkdir dir="${build}"/>
|
|
<javac
|
|
srcdir="${src}"
|
|
destdir="${build}"
|
|
source="1.5"
|
|
target="1.5"
|
|
debug="on"
|
|
deprecation="on">
|
|
<classpath refid="project.class.path"/>
|
|
</javac>
|
|
</target>
|
|
|
|
<!-- Target: jar - create the plugin -->
|
|
<target name="dist" depends="compile">
|
|
<jar jarfile="${install.dir}/${ant.project.name}.jar">
|
|
<fileset dir="${build}"/>
|
|
<fileset dir="${basedir}">
|
|
<include name="*.props"/>
|
|
<include name="*.xml"/>
|
|
<include name="*.html"/>
|
|
<include name="doc/*"/>
|
|
</fileset>
|
|
</jar>
|
|
<copy todir="${install.dir}">
|
|
<fileset refid="pmd.libs" />
|
|
</copy>
|
|
<antcall target="reload"/>
|
|
</target>
|
|
|
|
<target name="reload" if="can.reload.plugins">
|
|
<echo>Reloading ${install.dir}/${ant.project.name}.jar</echo>
|
|
<taskdef name="reloadPlugin" classname="ReloadPluginTask"/>
|
|
<reloadPlugin jarfile="${install.dir}/${ant.project.name}.jar"/>
|
|
</target>
|
|
|
|
</project>
|