2004-07-16 02:26:21 -04:00
|
|
|
<?xml version="1.0"?>
|
|
|
|
|
|
2004-07-16 03:44:22 -04:00
|
|
|
<project name=" Factor" default="dist" basedir=".">
|
2004-07-16 02:26:21 -04:00
|
|
|
|
2004-08-07 22:08:24 -04:00
|
|
|
<target name="init">
|
|
|
|
|
<available property="jedit" classname="org.gjt.sp.jedit.jEdit" />
|
|
|
|
|
</target>
|
|
|
|
|
|
2004-08-08 02:32:56 -04:00
|
|
|
<target name="compile" depends="init">
|
2004-07-16 02:26:21 -04:00
|
|
|
<javac
|
|
|
|
|
srcdir="."
|
|
|
|
|
destdir="."
|
|
|
|
|
deprecation="on"
|
|
|
|
|
includeJavaRuntime="yes"
|
|
|
|
|
debug="true"
|
|
|
|
|
optimize="true"
|
|
|
|
|
>
|
|
|
|
|
<include name="**/*.java"/>
|
2004-08-06 02:51:32 -04:00
|
|
|
<exclude name="factor/jedit/*.java"/>
|
2004-07-16 02:26:21 -04:00
|
|
|
</javac>
|
|
|
|
|
</target>
|
2004-08-08 02:32:56 -04:00
|
|
|
|
|
|
|
|
<path id="jedit-classpath">
|
|
|
|
|
<pathelement location="${user.home}/.jedit/jars/ErrorList.jar" />
|
|
|
|
|
<pathelement location="${user.home}/.jedit/jars/SideKick.jar" />
|
|
|
|
|
</path>
|
|
|
|
|
|
|
|
|
|
<target name="compile-jedit" depends="init" if="jedit">
|
2004-08-06 02:51:32 -04:00
|
|
|
<javac
|
2004-08-08 02:32:56 -04:00
|
|
|
classpathref="jedit-classpath"
|
2004-08-06 02:51:32 -04:00
|
|
|
debug="true"
|
2004-08-08 02:32:56 -04:00
|
|
|
deprecation="on"
|
|
|
|
|
destdir="."
|
2004-08-06 02:51:32 -04:00
|
|
|
optimize="true"
|
2004-08-08 02:32:56 -04:00
|
|
|
srcdir=".">
|
|
|
|
|
<include name="factor/jedit/*.java"/>
|
2004-08-06 02:51:32 -04:00
|
|
|
</javac>
|
|
|
|
|
</target>
|
2004-08-08 02:32:56 -04:00
|
|
|
|
2004-08-06 02:51:32 -04:00
|
|
|
<target name="dist" depends="compile,compile-jedit">
|
2004-07-16 02:26:21 -04:00
|
|
|
<jar
|
|
|
|
|
jarfile="Factor.jar"
|
|
|
|
|
manifest="Factor.manifest"
|
|
|
|
|
compress="true"
|
|
|
|
|
>
|
|
|
|
|
<fileset dir=".">
|
|
|
|
|
<include name="factor/*.class"/>
|
|
|
|
|
<include name="factor/**/*.class"/>
|
2004-08-06 02:51:32 -04:00
|
|
|
<include name="factor/**/*.props"/>
|
|
|
|
|
<include name="*.xml"/>
|
2004-07-16 02:26:21 -04:00
|
|
|
<include name="library/**/*.factor"/>
|
|
|
|
|
<include name="org/**/*.class"/>
|
|
|
|
|
<include name="*.factor"/>
|
|
|
|
|
<include name="Factor.manifest"/>
|
|
|
|
|
</fileset>
|
|
|
|
|
</jar>
|
|
|
|
|
</target>
|
|
|
|
|
<target name="clean" description="Clean old stuff.">
|
|
|
|
|
<delete>
|
|
|
|
|
<fileset dir="." includes="**/*.class"/>
|
|
|
|
|
<fileset dir="." includes="**/*~" defaultexcludes="no"/>
|
|
|
|
|
<fileset dir="." includes="**/#*#" defaultexcludes="no"/>
|
|
|
|
|
<fileset dir="." includes="**/*.rej"/>
|
|
|
|
|
<fileset dir="." includes="**/*.orig"/>
|
|
|
|
|
<fileset dir="." includes="**/.*.swp"/>
|
|
|
|
|
<fileset dir="." includes="**/.#*"/>
|
|
|
|
|
<fileset dir="." includes="**/.new*"/>
|
|
|
|
|
<fileset dir="." includes="**/.directory"/>
|
|
|
|
|
</delete>
|
|
|
|
|
</target>
|
|
|
|
|
|
|
|
|
|
</project>
|