forked from pool/jflex
48 lines
1.8 KiB
Diff
48 lines
1.8 KiB
Diff
--- jflex-1.4.2/src/build.xml.orig 2008-08-07 13:01:10.926485858 -0400
|
|
+++ jflex-1.4.2/src/build.xml 2008-08-07 13:03:33.725486421 -0400
|
|
@@ -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" />
|
|
<property name="junit.jar" value="${tools.dir}/junit.jar" />
|
|
|
|
@@ -28,12 +28,16 @@
|
|
<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=""/>
|
|
+<!--
|
|
<echo message="Use the gettool target or override the *.jar properties"/>
|
|
<echo message="before you do the first build."/>
|
|
+-->
|
|
</target>
|
|
|
|
<target name="declare" description="define tasks for jflex and cup">
|
|
@@ -41,12 +45,14 @@
|
|
<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}"/>
|
|
<get src="${junit.jar.url}" dest="${junit.jar}"/>
|
|
</target>
|
|
+-->
|
|
|
|
<target name="dist" description="build distribution">
|
|
<antcall target="gettools" />
|