From 4ed80f325ee4fb44c472b27d7e2c48a8d969cf46 Mon Sep 17 00:00:00 2001 From: dos-reis Date: Mon, 26 Nov 2007 16:35:35 +0000 Subject: update --- INSTALL | 18 +++++++++--------- 1 file changed, 9 insertions(+), 9 deletions(-) (limited to 'INSTALL') diff --git a/INSTALL b/INSTALL index f75864f4..e7915e42 100644 --- a/INSTALL +++ b/INSTALL @@ -1,7 +1,7 @@ Requirements ============ -OpenAxiom uses the GCL (GNU Common Lisp) for its runtime support. So, +OpenAxiom uses GCL (the GNU Common Lisp) for its runtime support. So, if you already have a running GCL (2.6.7 or 2.6.8), that is good. Otherwise, you would need to download a dependency tarball from OpenAxiom's download web site. See instructions below. @@ -45,15 +45,15 @@ If you already have GCL and noweb installed, please go to step 2. That should decompress the dependency tarball in a directory -named open-axiom-1.0.x. Rename it to open-axiom-1.0.0, e.g.: +named open-axiom-1.0.x. Rename it to open-axiom-1.1.0, e.g.: - mv open-axiom-1.0.x open-axiom-1.0.0 + mv open-axiom-1.0.x open-axiom-1.1.0 2. Building OpenAxiom ------------------ It is assumed you have already downloaded open-axiom source tarball, -e.g. open-axiom-1.0.0.tar.bz2. +e.g. open-axiom-1.1.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., @@ -61,18 +61,18 @@ or have separately installed them before proceeding. 2.a. Decompress the OpenAxiom source tarball - tar jfxv open-axiom-1.0.0.tar.bz2 + tar jfxv open-axiom-1.1.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.0.0 and build the +may create a directory sibling to open-axiom-1.1.0 and build the system from there: mkdir build-oa cd build-oa - ../open-axiom-1.0.0/configure + ../open-axiom-1.1.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, @@ -80,7 +80,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.0.0/configure --prefix=/banana/space + ../open-axiom-1.1.0/configure --prefix=/banana/space 2.c. Make the system @@ -100,7 +100,7 @@ users probably don't. 2.e. Have more coffee It can take from 30min to 2 hours to build, depending on the -computational power of the build machine. +compute power of the build machine. 3. Installing OpenAxiom -------------------- -- cgit v1.2.3