Blame SOURCES/jflex-build_xml.patch

68ca25
--- src/build.xml.sav	2008-05-28 11:45:28.000000000 +0300
68ca25
+++ src/build.xml	2010-01-08 12:22:48.820864187 +0200
68ca25
@@ -69,6 +69,14 @@
68ca25
            classpath=".:${junit.jar}"
68ca25
            debug="on" />
68ca25
   </target>
68ca25
+	
68ca25
+  
68ca25
+	          description="compile all classes during a bootstrap">
68ca25
+	
68ca25
+	       destdir="../lib" 
68ca25
+	       classpath="."
68ca25
+	       debug="on" />
68ca25
+  </target>
68ca25
 
68ca25
   <target name="jflex" depends="declare" description="generate scanner">
68ca25
     <jflex file="JFlex/LexScan.flex" skeleton="skeleton.nested"/>
68ca25
@@ -89,6 +97,14 @@
68ca25
     	 jarfile="../lib/JFlex.jar" 
68ca25
     	 manifest="manifest"/>
68ca25
   </target>
68ca25
+ 
68ca25
+  <target name="jar-bootstrap" depends="compile-bootstrap,copy" description="make JFlex.jar">
68ca25
+    
68ca25
+         includes="JFlex/**,java_cup/**,skeleton" 
68ca25
+         jarfile="../lib/JFlex.jar" 
68ca25
+         manifest="manifest"/>
68ca25
+  </target>
68ca25
+
68ca25
 
68ca25
   <target name="libclean" description="remove compiled classes">
68ca25
     <delete dir="../lib/JFlex" />