mirror of
https://github.com/GrammaticalFramework/gf-core.git
synced 2026-04-23 11:42:49 -06:00
Beta.
This commit is contained in:
1
bin/jgf2
1
bin/jgf2
@@ -2,7 +2,6 @@
|
|||||||
|
|
||||||
# change the value of GFHOME to the directory where you have the gf binary
|
# change the value of GFHOME to the directory where you have the gf binary
|
||||||
GFHOME=/home/aarne/GF2/bin
|
GFHOME=/home/aarne/GF2/bin
|
||||||
# /.../chalmers.se/fs/cab/cs/.users/markus/home/GF1
|
|
||||||
|
|
||||||
JGUILIB=$GFHOME/java/
|
JGUILIB=$GFHOME/java/
|
||||||
GF=$GFHOME/gf2
|
GF=$GFHOME/gf2
|
||||||
|
|||||||
10
src/INSTALL
10
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:
|
4. For a quick test: start GF2, load a grammar and parse a string:
|
||||||
|
|
||||||
cd GF2/grammars/basic
|
cd ../grammars/basic
|
||||||
../../bin/gf2
|
../../bin/gf2 English.gf
|
||||||
|
|
||||||
-- when GF2 has started and shows the prompt >:
|
-- when GF2 has started and shows the prompt >:
|
||||||
> p "every number is even or odd"
|
> p "every number is even or odd"
|
||||||
-- this is the response from GF2:
|
-- this is the response from GF2:
|
||||||
PredA1 (Every Number) (DisjA1 Even Odd)
|
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
|
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
|
the value of GFHOME to the location of your GF2/bin directory. Test the
|
||||||
GUI with some grammars:
|
GUI with some grammars:
|
||||||
|
|
||||||
cd GF2/grammars/letter
|
cd ../grammars/letter
|
||||||
../../bin/gf2 <mkLetter.gfs
|
../../bin/gf2 <mkLetter.gfs
|
||||||
../../bin/jgf2 Letter.gfcm
|
../../bin/jgf2 Letter.gfcm
|
||||||
|
|
||||||
|
When the window opens, push the Random button.
|
||||||
|
|
||||||
Author: Aarne Ranta, 2/4/2004
|
Author: Aarne Ranta, 2/4/2004
|
||||||
|
|||||||
Reference in New Issue
Block a user