14 lines
767 B
Diff
14 lines
767 B
Diff
--- java_cup-0.11a/build.xml 2009-03-23 01:15:56.000000000 +0100
|
|
+++ java_cup-0.11a/build.xml-gil 2009-03-23 01:22:24.000000000 +0100
|
|
@@ -40,8 +40,8 @@
|
|
<delete dir="${dist}" />
|
|
</target>
|
|
|
|
- <taskdef name="cup" classname="java_cup.anttask.CUPTask" classpath="${bin}/java-cup-11.jar" />
|
|
- <taskdef name="jflex" classname="JFlex.anttask.JFlexTask" classpath="${bin}/JFlex.jar" />
|
|
+ <taskdef name="cup" classname="java_cup.anttask.CUPTask" classpath="/usr/share/java/java_cup.jar" />
|
|
+ <taskdef name="jflex" classname="JFlex.anttask.JFlexTask" classpath="/usr/share/java/jflex.jar" />
|
|
|
|
<target name="cup" depends="init">
|
|
<cup srcfile="${cup}/parser.cup" interface="on" destdir="${java}" parser="parser" symbols="sym" quiet="false" nonterms="true"/>
|