]> gitweb.factorcode.org Git - factor.git/blob - build.xml
Factor jEdit plugin!
[factor.git] / build.xml
1 <?xml version="1.0"?>
2
3 <project name=" Factor" default="dist" basedir=".">
4
5         <target name="compile">
6                 <javac
7                         srcdir="."
8                         destdir="."
9                         deprecation="on"
10                         includeJavaRuntime="yes"
11                         debug="true"
12                         optimize="true"
13                 >
14                 <include name="**/*.java"/>
15                 <exclude name="factor/jedit/*.java"/>
16                 </javac>
17         </target>
18         <target name="compile-jedit">
19                 <javac
20                         srcdir="."
21                         destdir="."
22                         deprecation="on"
23                         includeJavaRuntime="yes"
24                         debug="true"
25                         optimize="true"
26                 >
27                 <include name="factor/jedit/*.java"/>
28                 </javac>
29         </target>
30         <target name="dist" depends="compile,compile-jedit">
31                 <jar
32                         jarfile="Factor.jar"
33                         manifest="Factor.manifest"
34                         compress="true"
35                 >
36                         <fileset dir=".">
37                                 <include name="factor/*.class"/>
38                                 <include name="factor/**/*.class"/>
39                                 <include name="factor/**/*.props"/>
40                                 <include name="*.xml"/>
41                                 <include name="library/**/*.factor"/>
42                                 <include name="org/**/*.class"/>
43                                 <include name="*.factor"/>
44                                 <include name="Factor.manifest"/>
45                         </fileset>
46                 </jar>
47         </target>
48         <target name="clean" description="Clean old stuff.">
49                 <delete>
50                         <fileset dir="." includes="**/*.class"/>
51                         <fileset dir="." includes="**/*~" defaultexcludes="no"/>
52                         <fileset dir="." includes="**/#*#" defaultexcludes="no"/>
53                         <fileset dir="." includes="**/*.rej"/>
54                         <fileset dir="." includes="**/*.orig"/>
55                         <fileset dir="." includes="**/.*.swp"/>
56                         <fileset dir="." includes="**/.#*"/>
57                         <fileset dir="." includes="**/.new*"/>
58                         <fileset dir="." includes="**/.directory"/>
59                 </delete>
60         </target>
61
62 </project>