diff options
| author | aarne <unknown> | 2003-09-22 13:16:55 +0000 |
|---|---|---|
| committer | aarne <unknown> | 2003-09-22 13:16:55 +0000 |
| commit | b1402e8bd6a68a891b00a214d6cf184d66defe19 (patch) | |
| tree | 90372ac4e53dce91cf949dbf8e93be06f1d9e8bd /bin/jgf2 | |
Founding the newly structured GF2.0 cvs archive.
Diffstat (limited to 'bin/jgf2')
| -rw-r--r-- | bin/jgf2 | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/bin/jgf2 b/bin/jgf2 new file mode 100644 index 000000000..ca83e4edc --- /dev/null +++ b/bin/jgf2 @@ -0,0 +1,12 @@ +#! /bin/sh + +# change the value of GFHOME to the directory where you have the gf binary +GFHOME=/home/aarne/GF2/bin + # /.../chalmers.se/fs/cab/cs/.users/markus/home/GF1 + +JGUILIB=$GFHOME/java/ +GF=$GFHOME/gf2+ +JGUI=GFEditor + +java -cp $JGUILIB $JGUI "$GF -java $*" + |