summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorbringert <unknown>2004-06-22 09:32:02 +0000
committerbringert <unknown>2004-06-22 09:32:02 +0000
commited2dccfcf241efc58bae0b55924050ca4b0fca2a (patch)
tree06b2ac8e0620acd75a8a92e26b817244b1ad5b8e
parentd1190cc839b768a6f507b6c10d89f3e5896a2249 (diff)
Added configure step to install instructions
-rw-r--r--src/INSTALL15
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