Blame SOURCES/jflex-build_xml.patch

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