--- jflex-1.4.1/src/build.xml.orig 2006-09-09 07:56:40.000000000 +0200 +++ jflex-1.4.1/src/build.xml 2006-09-09 08:10:26.000000000 +0200 @@ -7,10 +7,10 @@ <property file="${user.home}/.jflex.properties" /> <!-- location of development tools necessary for the build --> - <property name="tools.dir" value="../tools"/> + <property name="tools.dir" value="/usr/share/java"/> <!-- override these if you want to use your own versions --> - <property name="jflex.jar" value="${tools.dir}/JFlex.jar" /> + <property name="jflex.jar" value="${tools.dir}/jflex.jar" /> <property name="cup.jar" value="${tools.dir}/java_cup.jar" /> <!-- where to get jflex.jar and cup.jar from --> @@ -25,7 +25,6 @@ <target name="help" description="show help message"> <echo message="Ant build file for JFlex. Useful targets:"/> <echo message=""/> - <echo message="gettools: download development tools for the build"/> <echo message="realclean: remove all compiled and generated files"/> <echo message="jar: make JFlex.jar"/> <echo message=""/> @@ -38,12 +37,6 @@ <taskdef classname="java_cup.AntTask" name="cup" classpath="${cup.jar}"/> </target> - <target name="gettools" description="download development tools"> - <mkdir dir="${tools.dir}"/> - <get src="${jflex.jar.url}" dest="${jflex.jar}"/> - <get src="${cup.jar.url}" dest="${cup.jar}"/> - </target> - <target name="dist" description="build distribution"> <antcall target="build" /> <antcall target="libclean" />