summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorbringert <unknown>2004-06-22 12:01:06 +0000
committerbringert <unknown>2004-06-22 12:01:06 +0000
commitcc0fbb46f8aee62eac10a6e3260922aab29930b7 (patch)
tree325d5b9070ed019b14d1e889f057b0abf882b43e
parent457d00100a44a03169d833505af7e3ab1072df00 (diff)
Added autoconf step.
-rw-r--r--src/INSTALL13
1 files changed, 9 insertions, 4 deletions
diff --git a/src/INSTALL b/src/INSTALL
index fad64c440..9fcd1ca1b 100644
--- a/src/INSTALL
+++ b/src/INSTALL
@@ -11,7 +11,11 @@ To make and install GF2 (Version 2-beta, 2/4/2004).
ghc --version
-3. Run configure
+3. If you are building from CVS, run autoconf (in src/):
+
+ autoconf
+
+4. Run configure
./configure
@@ -20,14 +24,14 @@ To make and install GF2 (Version 2-beta, 2/4/2004).
./configure --prefix=/usr
-4. Compile with make, either of
+5. 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
-5. For a quick test: start GF2, load a grammar and parse a string:
+6. For a quick test: start GF2, load a grammar and parse a string:
cd ../grammars/basic
../../bin/gf2 English.gf
@@ -37,7 +41,7 @@ To make and install GF2 (Version 2-beta, 2/4/2004).
-- this is the response from GF2:
PredA1 (Every Number) (DisjA1 Even Odd)
-6. If you want to run the Java GUI, go back to GF2/src and also do
+7. If you want to run the Java GUI, go back to GF2/src and also do
make install-java
@@ -52,3 +56,4 @@ To make and install GF2 (Version 2-beta, 2/4/2004).
When the window opens, push the Random button.
Author: Aarne Ranta, 2/4/2004
+