File jflex-classpath.patch of Package jflex

Overview Repositories Revisions Requests Users Attributes Meta

File jflex-classpath.patch of Package jflex

--- jflex-1.4.2/src/build.xml.orig	2008-08-07 13:01:10.926485858 -0400
+++ jflex-1.4.2/src/build.xml	2008-08-07 13:03:33.725486421 -0400
@@ -7,10 +7,10 @@
   <property file="${user.home}/.jflex.properties" />
   
   
-  <property name="tools.dir" value="../tools"/>
+  <property name="tools.dir" value="/usr/share/java"/>
   
   
-  <property name="jflex.jar" value="${tools.dir}/JFlex.jar" />
+  <property name="jflex.jar" value="${tools.dir}/jflex.jar" />
   <property name="cup.jar" value="${tools.dir}/java_cup.jar" />
   <property name="junit.jar" value="${tools.dir}/junit.jar" />
 
@@ -28,12 +28,16 @@
   <target name="help" description="show help message">
   	<echo message="Ant build file for JFlex. Useful targets:"/> 
   	<echo message=""/> 
+
   	<echo message="realclean:  remove all compiled and generated files"/>
   	<echo message="jar:        make JFlex.jar"/> 
   	<echo message=""/> 
+
   </target> 
 
   <target name="declare" description="define tasks for jflex and cup">
@@ -41,12 +45,14 @@
     <taskdef classname="java_cup.anttask.CUPTask" name="cup" classpath="${cup.jar}"/>
   </target>
 
+
 
   <target name="dist" description="build distribution">
     <antcall target="gettools" />

Places

File jflex-classpath.patch of Package jflex

Places