From 54c72f5ab023c0cdac83eb28dd1f81d4cd35aeae Mon Sep 17 00:00:00 2001
From: aarne <unknown>
Date: Tue, 11 Nov 2003 15:44:24 +0000
Subject: Working with interfaces.

Working with interfaces.
Created new place for grammar parsers.
Created new script jgf2+.
---
 bin/jgf2  |  2 +-
 bin/jgf2+ | 12 ++++++++++++
 2 files changed, 13 insertions(+), 1 deletion(-)
 create mode 100644 bin/jgf2+

(limited to 'bin')

diff --git a/bin/jgf2 b/bin/jgf2
index ca83e4edc..7543b699b 100644
--- a/bin/jgf2
+++ b/bin/jgf2
@@ -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 $*"
+
-- 
cgit v1.2.3