forked from GitHub/gf-core
54c72f5ab0
Working with interfaces. Created new place for grammar parsers. Created new script jgf2+.
13 lines
266 B
Bash
13 lines
266 B
Bash
#! /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 $*"
|
|
|