diff options
author | Herve Quiroz <hq@FreeBSD.org> | 2004-12-20 14:36:39 +0000 |
---|---|---|
committer | Herve Quiroz <hq@FreeBSD.org> | 2004-12-20 14:36:39 +0000 |
commit | 958b51028ae38e3b73ddc77ae30bd2c3bdfff178 (patch) | |
tree | 3bc382de774d363ef92d1f68f7f5460ab85d670c /java/jflex/files/patch-jflex | |
parent | Update to 0.22.2, with minor updates including: (diff) |
- Update to version 1.4.1 [1]
- Use USE_ANT [1]
- No longer add %%JAVAJARDIR%% to PLIST_SUB [1]
- Update to bsd.java.mk 2.0
- No longer patch the distribution shell script but rather use a FreeBSD
specific one [1]
- Use SUB_FILES/SUB_LIST to perform substitutions on the launcher shell script
- Minor cosmetic improvements
- Use JAVALIBDIR rather than JAVAJARDIR for JAR dependencies
- Moved the BUILD_DEPENDS statement to calm portlint
PR: 75198 [1]
Submitted by: maintainer [1]
Diffstat (limited to 'java/jflex/files/patch-jflex')
-rw-r--r-- | java/jflex/files/patch-jflex | 68 |
1 files changed, 0 insertions, 68 deletions
diff --git a/java/jflex/files/patch-jflex b/java/jflex/files/patch-jflex deleted file mode 100644 index 3ea64aef137a..000000000000 --- a/java/jflex/files/patch-jflex +++ /dev/null @@ -1,68 +0,0 @@ ---- bin/jflex.orig Mon May 3 23:06:29 2004 -+++ bin/jflex Mon May 3 23:11:12 2004 -@@ -1,51 +1,19 @@ --#! /bin/bash -+#!/bin/sh - # --# JFlex start script $Revision: 2.0 $ -+# Replacement for the script that came with JFlex -+# because bash is not necessarily on a FreeBSD -+# machine. Also, we know where the jar is. - # --# if Java is not in your binary path, you need to supply its --# location in this script. The script automatically finds --# JFLEX_HOME when called directly, via binary path, or symbolic --# link. --# --# Site wide installation: simply make a symlink from e.g. --# /usr/bin/jflex to this script at its original position --# --#=================================================================== --# --# configurables: -- --# path to the java interpreter --JAVA=java -- --# end configurables --# --#=================================================================== --# -- --# calculate true location -- --PRG=`type $0` --PRG=${PRG##* } -- --# If PRG is a symlink, trace it to the real home directory -- --while [ -L "$PRG" ] --do -- newprg=$(ls -l ${PRG}) -- newprg=${newprg##*-> } -- [ ${newprg} = ${newprg#/} ] && newprg=${PRG%/*}/${newprg} -- PRG="$newprg" --done -- --PRG=${PRG%/*} --JFLEX_HOME=${PRG}/.. -- --# -------------------------------------------------------------------- -+# Conor McDermottroe <ports@mcdermottroe.com> - --export CLASSPATH --CLASSPATH=$JFLEX_HOME/lib/JFlex.jar -+# Allow the user to override where JFlex.jar lives -+if [ -z "$JAVAJARDIR" ]; then -+ JAVAJARDIR=%%JAVAJARDIR%% -+fi - --$JAVA JFlex.Main $@ -+# Allow the user to specify which java interpreter to use -+if [ -z "$JAVA" ]; then -+ JAVA="`which javavm`" -+fi - --#for more memory: --#$JAVA -Xmx128m JFlex.Main $@ -+$JAVA -jar $JAVAJARDIR/JFlex.jar $@ |