From cc0fbb46f8aee62eac10a6e3260922aab29930b7 Mon Sep 17 00:00:00 2001 From: bringert Date: Tue, 22 Jun 2004 12:01:06 +0000 Subject: [PATCH] Added autoconf step. --- src/INSTALL | 13 +++++++++---- 1 file 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 +