From 7093f8b14f7a67fd85878cecb618a8781092a1fa Mon Sep 17 00:00:00 2001 From: aarne Date: Fri, 2 Apr 2004 12:35:23 +0000 Subject: [PATCH] Beta. --- bin/jgf2 | 1 - src/INSTALL | 10 ++++++---- 2 files changed, 6 insertions(+), 5 deletions(-) diff --git a/bin/jgf2 b/bin/jgf2 index d702c8076..ed5fc144d 100644 --- a/bin/jgf2 +++ b/bin/jgf2 @@ -2,7 +2,6 @@ # 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 diff --git a/src/INSTALL b/src/INSTALL index 1478a254f..5f6e5c38f 100644 --- a/src/INSTALL +++ b/src/INSTALL @@ -20,15 +20,15 @@ To make and install GF2 (Version 2-beta, 2/4/2004). 4. For a quick test: start GF2, load a grammar and parse a string: - cd GF2/grammars/basic - ../../bin/gf2 + cd ../grammars/basic + ../../bin/gf2 English.gf -- when GF2 has started and shows the prompt >: > p "every number is even or odd" -- this is the response from GF2: PredA1 (Every Number) (DisjA1 Even Odd) -5. If you want to run the Java GUI, also do +5. If you want to run the Java GUI, go back to GF2/src and also do make install-java @@ -36,8 +36,10 @@ To make and install GF2 (Version 2-beta, 2/4/2004). the value of GFHOME to the location of your GF2/bin directory. Test the GUI with some grammars: - cd GF2/grammars/letter + cd ../grammars/letter ../../bin/gf2