factor/build.xml

76 lines
2.1 KiB
XML
Raw Normal View History

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-11-16 23:04:51 -05:00
<path id="jedit-classpath">
<pathelement location="${user.home}/.jedit/jars/ErrorList.jar" />
<pathelement location="${user.home}/.jedit/jars/SideKick.jar" />
<pathelement location="${user.home}/.jedit/jars/Console.jar" />
</path>
2004-11-16 23:04:51 -05:00
<target name="compile">
2004-07-16 02:26:21 -04:00
<javac
srcdir="."
destdir="."
deprecation="on"
includeJavaRuntime="yes"
debug="true"
optimize="true"
2004-11-16 23:04:51 -05:00
classpathref="jedit-classpath"
2004-07-16 02:26:21 -04:00
>
<include name="**/*.java"/>
2004-08-06 02:51:32 -04:00
</javac>
</target>
2004-11-16 23:04:51 -05:00
<target name="dist" depends="compile">
2004-07-16 02:26:21 -04:00
<jar
jarfile="../Factor.jar"
2004-07-16 02:26:21 -04:00
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="factor/**/*.bsh"/>
<include name="factor/**/*.txt"/>
2004-08-06 02:51:32 -04:00
<include name="*.xml"/>
2005-06-08 18:38:11 -04:00
<include name="*.keymap"/>
<include name="library/**/*.png"/>
<include name="doc/*.html"/>
2005-06-08 18:38:11 -04:00
<include name="doc/jedit/*.html"/>
<include name="doc/jedit/*.png"/>
2004-07-16 02:26:21 -04:00
</fileset>
</jar>
</target>
2004-07-16 02:26:21 -04:00
<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>
<target name="docs" description="Build PDF and HTML docs.">
<delete>
<fileset dir="." includes="doc/devel-guide/*.html"/>
<fileset dir="." includes="doc/devel-guide.aux"/>
<fileset dir="." includes="doc/devel-guide.log"/>
<fileset dir="." includes="doc/devel-guide.pdf"/>
</delete>
<exec executable="latex" dir="doc">
<arg value="devel-guide.tex" />
</exec>
<exec executable="latex2html" dir="doc">
<arg value="-local_icons"/>
<arg value="devel-guide.tex" />
</exec>
</target>
2004-07-16 02:26:21 -04:00
</project>