diff options
| author | bringert <unknown> | 2004-06-22 09:32:02 +0000 |
|---|---|---|
| committer | bringert <unknown> | 2004-06-22 09:32:02 +0000 |
| commit | ed2dccfcf241efc58bae0b55924050ca4b0fca2a (patch) | |
| tree | 06b2ac8e0620acd75a8a92e26b817244b1ad5b8e | |
| parent | d1190cc839b768a6f507b6c10d89f3e5896a2249 (diff) | |
Added configure step to install instructions
| -rw-r--r-- | src/INSTALL | 15 |
1 files changed, 12 insertions, 3 deletions
diff --git a/src/INSTALL b/src/INSTALL index b1c5d0abc..fad64c440 100644 --- a/src/INSTALL +++ b/src/INSTALL @@ -11,14 +11,23 @@ To make and install GF2 (Version 2-beta, 2/4/2004). ghc --version -3. Compile with make, either of +3. Run configure + + ./configure + + If you want to install the GF somewhere other than /usr/local, use + the --prefix flag. E.g. + + ./configure --prefix=/usr + +4. Compile with make, either of make unix -- for Linux, Solaris, Mac OSX make windows -- for MS Windows The binary is sent to the file GF2/bin/gf2 -4. For a quick test: start GF2, load a grammar and parse a string: +5. For a quick test: start GF2, load a grammar and parse a string: cd ../grammars/basic ../../bin/gf2 English.gf @@ -28,7 +37,7 @@ To make and install GF2 (Version 2-beta, 2/4/2004). -- this is the response from GF2: PredA1 (Every Number) (DisjA1 Even Odd) -5. If you want to run the Java GUI, go back to GF2/src and also do +6. If you want to run the Java GUI, go back to GF2/src and also do make install-java |
