build.xml

   1 <?xml version="1.0" encoding="UTF-8"?>
   2 <project name="core" default="build">
   3
   4   <property name="WTK-home" value="/usr/local/WTK2.5.2"/>
   5   <property name="JDK1.4-home" value="/usr/lib/jvm/j2sdk1.4.2_16"/>
   6
   7   <target name="init">
   8     <tstamp/>
   9   </target>
  10
  11   <target name="build" depends="init">
  12     <mkdir dir="build"/>
  13     <javac srcdir="src"
  14            destdir="build"
  15            source="1.4"
  16            target="1.4"
  17            bootclasspath="${JDK1.4-home}/jre/lib/rt.jar"
  18            optimize="true"
  19            debug="true"
  20            deprecation="true"
  21            fork="true"/>
  22     <jar jarfile="core.jar" basedir="build"/>
  23   </target>
  24
  25   <target name="clean">
  26     <delete dir="build"/>
  27     <delete file="core.jar"/>
  28   </target>
  29
  30 </project>