Update installation instructions

1 files changed, 14 insertions, 43 deletions

diff --git a/INSTALL b/INSTALL
index e48f8cb8..9d0a3125 100644
--- a/INSTALL
+++ b/INSTALL
@@ -7,15 +7,15 @@ or 2.6.8), Steel Bank Common Lisp (SBCL version 1.0.22 or higher,
 except 1.0.29), CLisp (version 2.44.x or higher), and ECL (version
 higher than 11.1.1), Clozure CL (version 1.3 or higher).  So, if you
 already have any of the above mentioned Lisp systems, your are good to
-go.  Otherwise, you would need to download a dependency tarball from
-OpenAxiom's download web site.  See instructions below.
+go.  Otherwise, you would need to install any of the Lisp environment
+mentioned above -- SBCL is the default Lisp system used by OpenAxiom
+developers. 
 
 Note that a functional Lisp system (e.g. SBCL, GCL, CLisp, ECL, or
 Clozure CL) is needed only to build OpenAxiom.  They are not needed
 once the system is installed. 
 
-Finally, you would need working C and C++ compilers -- you need
-compilers from GNU if you plan on using GCL.  It is also recommended
+Finally, you would need a C++ compiler.  It is also recommended
 that you install X11 development headers and libraries, especially
 Xpm, and QT development headers and libraries.  Windows (MingW/MSYS) 
 users do not need X11 components, but they would need a functional
@@ -26,57 +26,28 @@ Ah, one more note:  OpenAxiom requires GNU Make.
 1. Lisp prerequisite
    -----------------
 
-If you are missing a Lisp system, you need to get one, either
-separately install it, or download the dependency  tarball 
-
-    open-axiom-1.4.1-dep.tar.bz2
-
-from the SourceForge download site
-
-     http://surfnet.dl.sf.net/project/open-axiom/dependencies/open-axiom-1.4.1-dep.tar.bz2
-
-If you already have a Lisp system installed, please go to step 2.
-Note however that if you want to build OpenAxiom with the GCL from
-the dependency tarball (assuming you have unpacked it as explained
-in step 1.b.), and you have other Lisp systems available in the build 
-environment, then you should add the option --enable-gcl to the 
-configure command line.  In short, add --enable-gcl if you
-specifically insist on GCL as the base Lisp runtime system.
-
-1.a. Download the dependency tarball open-axiom-1.4.1-dep.tar.bz2
-
-1.b. Decompress the dependency tarball
-
-      tar jxfv open-axiom-1.4.1-dep.tar.bz2
-
-
-    That should decompress the dependency tarball in a directory
-named open-axiom-1.4.1.
+If you are missing a Lisp system, you need to get one.
 
 2. Building OpenAxiom
    ------------------
 
 It is assumed you have already downloaded open-axiom source tarball,
-e.g. open-axiom-1.4.1.tar.bz2.  
-
-Note: If you don't have a Lisp system in the build environment, please
-make sure that you have either followed the instructions in step 1.,
-or have separately installed one before proceeding.
+e.g. open-axiom-1.5.0.tar.bz2.  
 
 2.a. Decompress the OpenAxiom source tarball
 
-      tar jfxv open-axiom-1.4.1.tar.bz2
+      tar jfxv open-axiom-1.5.0.tar.bz2
 
 2.b. Configure OpenAxiom
 
 It is highly recommended that you build OpenAxiom in a directory
-different from the one that contains the sources.  For example, you
-may create a directory sibling to open-axiom-1.4.1 and build the
+different from the one that contains its sources.  For example, you
+may create a directory sibling to open-axiom-1.5.0 and build the
 system from there:
 
       mkdir oa-build
       cd oa-build
-      ../open-axiom-1.4.1/configure
+      ../open-axiom-1.5.0/configure
 
 It is possible to tell configure where to put the final OpenAxiom
 executables.  By default, when you just type in configure like above,
@@ -84,11 +55,11 @@ it will configure the system with prefix /usr/local.  You can instead
 say where you want it to be installed, let's say /banana/space.  You
 would then have typed
 
-     ../open-axiom-1.4.1/configure --prefix=/banana/space
+     ../open-axiom-1.5.0/configure --prefix=/banana/space
 
 
-If you want to compile OpenAxiom with a specific Lisp system (not
-necessarily GCL), then you should supply the option
+If you want to compile OpenAxiom with a specific Lisp system then you
+should supply the option 
 
          --with-lisp=<your-lisp>
 
@@ -123,7 +94,7 @@ users probably don't.
 
 2.e.  Have more coffee
 
-It can take from 25min to more than 2 hours to build, depending on the
+It can take from 20min to more than 2 hours to build, depending on the
 compute power of the build machine and the base Lisp system.
 
 3. Installing OpenAxiom