diff options
| author | aarne <unknown> | 2003-11-11 15:44:24 +0000 |
|---|---|---|
| committer | aarne <unknown> | 2003-11-11 15:44:24 +0000 |
| commit | 54c72f5ab023c0cdac83eb28dd1f81d4cd35aeae (patch) | |
| tree | a2a41040c96a84b2bfadac0e25a9dc450aa41bfb /bin | |
| parent | 9b47b4aa128a5cbee74aa99e5494a0b76890ec4a (diff) | |
Working with interfaces.
Working with interfaces.
Created new place for grammar parsers.
Created new script jgf2+.
Diffstat (limited to 'bin')
| -rw-r--r-- | bin/jgf2 | 2 | ||||
| -rw-r--r-- | bin/jgf2+ | 12 |
2 files changed, 13 insertions, 1 deletions
@@ -5,7 +5,7 @@ GFHOME=/home/aarne/GF2/bin # /.../chalmers.se/fs/cab/cs/.users/markus/home/GF1 JGUILIB=$GFHOME/java/ -GF=$GFHOME/gf2+ +GF=$GFHOME/gf2 JGUI=GFEditor java -cp $JGUILIB $JGUI "$GF -java $*" diff --git a/bin/jgf2+ b/bin/jgf2+ new file mode 100644 index 000000000..a452d34cc --- /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=GFEditor2 + +java -cp $JGUILIB $JGUI "$GF -java -new $*" + |