/jEdit/tags/jedit-4-2-pre14/jars/LatestVersion/build.xml
XML | 40 lines | 31 code | 9 blank | 0 comment | 0 complexity | 0f4a0ef65a2f8a855a2706f8d17eac42 MD5 | raw file
Possible License(s): BSD-3-Clause, AGPL-1.0, Apache-2.0, LGPL-2.0, LGPL-3.0, GPL-2.0, CC-BY-SA-3.0, LGPL-2.1, GPL-3.0, MPL-2.0-no-copyleft-exception, IPL-1.0
1<?xml version="1.0"?>
2
3<project name="latestversion" default="dist" basedir=".">
4
5 <property name="jedit.install.dir" value="../.."/>
6 <property name="jar.name" value="LatestVersion.jar"/>
7
8 <property name="install.dir" value=".."/>
9
10
11 <path id="project.class.path">
12 <pathelement location="${jedit.install.dir}/jedit.jar"/>
13 <pathelement location="."/>
14 </path>
15
16
17 <target name="compile">
18 <javac
19 srcdir="."
20 deprecation="on"
21 includeJavaRuntime="yes"
22 >
23 <classpath refid="project.class.path"/>
24 </javac>
25 </target>
26
27
28 <target name="dist" depends="compile">
29 <mkdir dir="${install.dir}"/>
30 <jar jarfile="${install.dir}/${jar.name}">
31 <fileset dir=".">
32 <include name="**/*.class"/>
33 <include name="**/*.props"/>
34 <include name="**/*.html"/>
35 <include name="**/*.gif"/>
36 <include name="actions.xml"/>
37 </fileset>
38 </jar>
39 </target>
40</project>