Update installation instructions.

1 files changed, 14 insertions, 14 deletions

diff --git a/INSTALL b/INSTALL
index 1da4d7ad..1e475f4e 100644
--- a/INSTALL
+++ b/INSTALL
@@ -3,11 +3,11 @@ Requirements
 
 OpenAxiom currenly requires a Lisp system for its runtime support.
 OpenAxiom is known to build with the GNU Common Lisp (GCL versions 2.6.7
-or 2.6.8), Steel Bank Common Lisp (SBCL version 1.0.x or higher), and
-CLisp (version 2.44.x or higher).  So, if you already have any of the
-above mentioned Lisp system, your are good to go.  Otherwise, you
-would need to download a dependency tarball from OpenAxiom's download
-web site.  See instructions below. 
+or 2.6.8), Steel Bank Common Lisp (SBCL version 1.0.x or higher),
+CLisp (version 2.44.x or higher), and ECL (version 0.9l or higher).  
+So, if you already have any of the above mentioned Lisp system, your
+are good to go.  Otherwise, you would need to download a dependency
+tarball from OpenAxiom's download web site.  See instructions below. 
 
 OpenAxiom needs `noweb' for extracting its source codes.  If you don't
 have running `noweb' utilities, you would need to either download the
@@ -31,7 +31,7 @@ If any of GCL or noweb is missing from the environment environment
 where you're building, then you need to either separately install
 them, or download the dependency tarball
 
-    open-axiom-1.1.x-dep.tar.bz2
+    open-axiom-1.2.x-dep.tar.bz2
 
 Please, notice that GCL and noweb are needed only to *build*
 OpenAxiom.  If you plan to build OpenAxiom often, then it probably is
@@ -46,23 +46,23 @@ 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.1.x-dep.tar.bz2
+1.a. Download the dependency tarball open-axiom-1.2.x-dep.tar.bz2
 
 1.b. Decompress the dependency tarball
 
-      tar jxfv open-axiom-1.1.x-dep.tar.bz2
+      tar jxfv open-axiom-1.2.x-dep.tar.bz2
 
 
     That should decompress the dependency tarball in a directory
-named open-axiom-1.1.x.  Rename it to open-axiom-1.2.0, e.g.:
+named open-axiom-1.2.x.  Rename it to open-axiom-1.3.0, e.g.:
 
-       mv open-axiom-1.1.x open-axiom-1.2.0
+       mv open-axiom-1.2.x open-axiom-1.3.0
 
 2. Building OpenAxiom
    ------------------
 
 It is assumed you have already downloaded open-axiom source tarball,
-e.g. open-axiom-1.2.0.tar.bz2.  
+e.g. open-axiom-1.3.0.tar.bz2.  
 
 Note: If you don't have GCL or noweb in the build environment, please
 make sure that you have either followed the instructions in step 1.,
@@ -70,7 +70,7 @@ or have separately installed them before proceeding.
 
 2.a. Decompress the OpenAxiom source tarball
 
-      tar jfxv open-axiom-1.2.0.tar.bz2
+      tar jfxv open-axiom-1.3.0.tar.bz2
 
 2.b. Configure OpenAxiom
 
@@ -81,7 +81,7 @@ system from there:
 
       mkdir build-oa
       cd build-oa
-      ../open-axiom-1.2.0/configure
+      ../open-axiom-1.3.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,
@@ -89,7 +89,7 @@ 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.2.0/configure --prefix=/banana/space
+     ../open-axiom-1.3.0/configure --prefix=/banana/space
 
 This is recommended, especially if you already have a different software, 
 not OpenAxiom, the executable filename of which is also called `axiom'.