1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
|
#! /bin/bash
#
# JFlex start script $Revision: 339 $
#
# 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}/.."
# --------------------------------------------------------------------
CLASSPATH=/usr/share/java/JFlex.jar:${CLASSPATH}
export CLASSPATH
$JAVA JFlex.Main $@
#for more memory:
#$JAVA -Xmx128m JFlex.Main $@
|
