Last change
on this file since 25584 was 25584, checked in by davidb, 12 years ago |
Initial cut an a text edit area for GLI that supports color syntax highlighting
|
File size:
1.1 KB
|
Line | |
---|
1 | #! /bin/bash
|
---|
2 | #
|
---|
3 | # JFlex start script $Revision: 339 $
|
---|
4 | #
|
---|
5 | # if Java is not in your binary path, you need to supply its
|
---|
6 | # location in this script. The script automatically finds
|
---|
7 | # JFLEX_HOME when called directly, via binary path, or symbolic
|
---|
8 | # link.
|
---|
9 | #
|
---|
10 | # Site wide installation: simply make a symlink from e.g.
|
---|
11 | # /usr/bin/jflex to this script at its original position
|
---|
12 | #
|
---|
13 | #===================================================================
|
---|
14 | #
|
---|
15 | # configurables:
|
---|
16 |
|
---|
17 | # path to the java interpreter
|
---|
18 | JAVA=java
|
---|
19 |
|
---|
20 | # end configurables
|
---|
21 | #
|
---|
22 | #===================================================================
|
---|
23 | #
|
---|
24 |
|
---|
25 | # calculate true location
|
---|
26 |
|
---|
27 | PRG=`type $0`
|
---|
28 | PRG="${PRG##* }"
|
---|
29 |
|
---|
30 | # If PRG is a symlink, trace it to the real home directory
|
---|
31 |
|
---|
32 | while [ -L "$PRG" ]
|
---|
33 | do
|
---|
34 | newprg=$(ls -l ${PRG})
|
---|
35 | newprg="${newprg##*-> }"
|
---|
36 | [ "${newprg}" = "${newprg#/}" ] && newprg="${PRG%/*}/${newprg}"
|
---|
37 | PRG="$newprg"
|
---|
38 | done
|
---|
39 |
|
---|
40 | PRG="${PRG%/*}"
|
---|
41 | JFLEX_HOME="${PRG}/../.."
|
---|
42 |
|
---|
43 | # --------------------------------------------------------------------
|
---|
44 |
|
---|
45 | export CLASSPATH
|
---|
46 | CLASSPATH=$JFLEX_HOME/lib/JFlex.jar
|
---|
47 |
|
---|
48 | $JAVA JFlex.Main $@
|
---|
49 |
|
---|
50 | #for more memory:
|
---|
51 | #$JAVA -Xmx128m JFlex.Main $@
|
---|
Note:
See
TracBrowser
for help on using the repository browser.