37 lines
1.5 KiB
Diff
37 lines
1.5 KiB
Diff
--- jflex-1.4.1/src/build.xml 2009-03-02 18:43:48.000000000 +0100
|
|
+++ jflex-1.4.1/src/build.xml-gil 2009-03-02 18:49:32.000000000 +0100
|
|
@@ -7,10 +7,10 @@
|
|
<property file="${user.home}/.jflex.properties" />
|
|
|
|
<!-- location of development tools necessary for the build -->
|
|
- <property name="tools.dir" value="/usr/share/java"/>
|
|
+ <property name="tools.dir" value="_JAVA-DIR_"/>
|
|
|
|
<!-- 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.CUPTask" 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" />
|