30 lines
1.3 KiB
Diff
30 lines
1.3 KiB
Diff
|
--- jflex-1.4.1/src/build.xml 2009-03-02 18:38:52.000000000 +0100
|
||
|
|
+++ jflex-1.4.1/src/build.xml-gil 2009-03-02 18:42:35.000000000 +0100
|
||
|
|
@@ -7,7 +7,7 @@
|
||
|
|
<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" />
|
||
|
|
@@ -35,7 +35,7 @@
|
||
|
|
|
||
|
|
<target name="declare" description="define tasks for jflex and cup">
|
||
|
|
<taskdef classname="JFlex.anttask.JFlexTask" name="jflex" classpath="${jflex.jar}"/>
|
||
|
|
- <taskdef classname="java_cup.AntTask" name="cup" classpath="${cup.jar}"/>
|
||
|
|
+ <taskdef classname="java_cup.anttask.CUPTask" name="cup" classpath="${cup.jar}"/>
|
||
|
|
</target>
|
||
|
|
|
||
|
|
<target name="gettools" description="download development tools">
|
||
|
|
@@ -76,7 +76,7 @@
|
||
|
|
</target>
|
||
|
|
|
||
|
|
<target name="cup" depends="declare" description="generate parser">
|
||
|
|
- <cup file="JFlex/LexParse.cup" dir="JFlex" interface="true" parser="LexParse" />
|
||
|
|
+ <cup file="JFlex/LexParse.cup" parser="LexParse" interface="true" />
|
||
|
|
</target>
|
||
|
|
|
||
|
|
<target name="copy" description="copy resources to build dir">
|