rpms/jflex
7
0
Fork 0
Code Issues Pull Requests Releases Activity

cvs rm old patches that are no longer used

Browse Source
This commit is contained in:
Matt Wringe 2008-02-22 22:29:19 +00:00
parent 8628f96241
commit 72a57e61e8
3 changed files with 0 additions and 75 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

21
jflex-CharSet_java.patch
View File

@ -1,21 +0,0 @@
--- ./src/JFlex/CharSet.java.orig 2007-04-02 11:03:11.000000000 -0400
+++ ./src/JFlex/CharSet.java 2007-04-02 11:03:47.000000000 -0400
@@ -94,14 +94,14 @@
}
public String toString() {
- CharSetEnumerator enum = characters();
+ CharSetEnumerator enumer = characters();
StringBuffer result = new StringBuffer("{");
- if ( enum.hasMoreElements() ) result.append(""+enum.nextElement());
+ if ( enumer.hasMoreElements() ) result.append(""+enumer.nextElement());
- while ( enum.hasMoreElements() ) {
- int i = enum.nextElement();
+ while ( enumer.hasMoreElements() ) {
+ int i = enumer.nextElement();
result.append( ", "+(int)i);
}

33
jflex-Makefile.patch
View File

@ -1,33 +0,0 @@
--- src/Makefile.sav 2001-10-08 05:57:06.000000000 -0400
+++ src/Makefile 2007-02-13 10:50:00.000000000 -0500
@@ -3,14 +3,16 @@
JFLEX = jflex -skel skeleton.nested
CUP = java java_cup.Main
-JAVAC = javac -target 1.1 -bootclasspath /usr/lib/jdk1.1/lib/classes.zip
+JAVAC = javac -target 1.4 -bootclasspath /usr/lib/jvm/java/jre/lib/rt.jar
#JAVAC = jikes
JAR = jar
+JAVADOC = javadoc
+
DEST = ../lib
# jdk 1.2
-CLPATH = -classpath /usr/lib/java/jre/lib/rt.jar:.
+CLPATH = -classpath /usr/lib/jvm/java/jre/lib/rt.jar:.
# jdk 1.1
#CLPATH = -classpath /usr/lib/java/lib/classes.zip:.
@@ -58,6 +60,10 @@
jar: jarclean
echo "Main-Class: JFlex.Main" > $(DEST)/manifest
- cd $(DEST); $(JAR) -c0mf manifest $(JARFILE) JFlex java_cup
+ cd $(DEST); $(JAR) -cmf manifest $(JARFILE) JFlex java_cup
rm -rf $(DEST)/java_cup $(DEST)/JFlex $(DEST)/manifest
+javadoc:
+ $(JAVADOC) -sourcepath . -d ../api JFlex
+
+

21
jflex-StateSet_java.patch
View File

@ -1,21 +0,0 @@
--- ./src/JFlex/StateSet.java.orig 2007-04-02 11:04:11.000000000 -0400
+++ ./src/JFlex/StateSet.java 2007-04-02 11:04:38.000000000 -0400
@@ -276,14 +276,14 @@
public String toString() {
- StateSetEnumerator enum = states();
+ StateSetEnumerator enumer = states();
StringBuffer result = new StringBuffer("{");
- if ( enum.hasMoreElements() ) result.append(""+enum.nextElement());
+ if ( enumer.hasMoreElements() ) result.append(""+enumer.nextElement());
- while ( enum.hasMoreElements() ) {
- int i = enum.nextElement();
+ while ( enumer.hasMoreElements() ) {
+ int i = enumer.nextElement();
result.append( ", "+i);
}