jflex/jflex-build_xml.patch
2008-02-22 22:15:52 +00:00

34 lines
1007 B
Diff

--- src/build.xml.orig 2004-05-19 19:37:43.000000000 -0400
+++ src/build.xml 2008-02-22 14:04:46.000000000 -0500
@@ -59,7 +59,14 @@
description="compile all classes">
<javac srcdir="."
destdir="../lib"
- target="1.1"
+ classpath="."
+ debug="on" />
+ </target>
+
+ <target name="compile-bootstrap"
+ description="compile all classes during a bootstrap">
+ <javac srcdir="."
+ destdir="../lib"
classpath="."
debug="on" />
</target>
@@ -83,6 +90,14 @@
jarfile="../lib/JFlex.jar"
manifest="manifest"/>
</target>
+
+ <target name="jar-bootstrap" depends="compile-bootstrap,copy" description="make JFlex.jar">
+ <jar basedir="../lib"
+ includes="JFlex/**,java_cup/**,skeleton"
+ jarfile="../lib/JFlex.jar"
+ manifest="manifest"/>
+ </target>
+
<target name="libclean" description="remove compiled classes">
<delete dir="../lib/JFlex" />