java-cup/java-cup-no-cup-no-jflex.patch

23 lines
863 B
Diff

--- a/build.xml
+++ b/build.xml
@@ -44,18 +44,7 @@
<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" />
-
- <target name="cup" depends="init">
- <cup srcfile="${cup}/parser.cup" interface="on" destdir="${java}" parser="parser" symbols="sym" quiet="false" nonterms="true"/>
- </target>
-
- <target name="jflex" depends="cup">
- <jflex file="${flex}/Lexer.jflex" destdir="${java}" />
- </target>
-
- <target name="compile" depends="jflex">
+ <target name="compile">
<javac srcdir="${java}" destdir="${classes}" verbose="off" listfiles="off" debug="on" source="1.8" target="1.8">
<classpath refid="libraries"/>
<compilerarg value="-Xlint:unchecked" />