1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
|
From: Markus Koschany <apo@debian.org>
Date: Mon, 1 Oct 2018 00:02:28 +0200
Subject: jflex 1.6.1
Fixes the compatibility with the version of JFlex in Debian
---
build.xml | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/build.xml b/build.xml
index d464a96..3a74762 100644
--- a/build.xml
+++ b/build.xml
@@ -45,14 +45,14 @@
</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="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}" />
+ <jflex file="${flex}/Lexer.jflex" destdir="${java}" legacydot="on" />
</target>
<target name="compile" depends="jflex">
|
