From 5d679dde22326163b822c0b6f6fc134a326ccaa0 Mon Sep 17 00:00:00 2001 From: dos-reis Date: Fri, 24 Aug 2007 12:28:00 +0000 Subject: * INSTALL: Tidy. --- ChangeLog | 4 ++++ INSTALL | 23 +++++++++++++++++++---- 2 files changed, 23 insertions(+), 4 deletions(-) diff --git a/ChangeLog b/ChangeLog index 4b3b45b9..21a16e1d 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,7 @@ +2007-08-24 Gabriel Dos Reis + + * INSTALL: Tidy. + 2007-08-23 Gabriel Dos Reis * configure.ac.pamphlet: Set release info to 1.1.0 (experimental). diff --git a/INSTALL b/INSTALL index d5ea8dd8..f75864f4 100644 --- a/INSTALL +++ b/INSTALL @@ -34,6 +34,7 @@ Please, notice that GCL and noweb are needed only to *build* OpenAxiom. If you plan to build OpenAxiom often, then it probably is a good idea to separately build and install those tools once for all. + If you already have GCL and noweb installed, please go to step 2. 1.a. Download the dependency tarball open-axiom-1.0.x-dep.tar.bz2 @@ -64,9 +65,14 @@ or have separately installed them before proceeding. 2.b. Configure OpenAxiom - cd open-axiom-1.0.0 - ./configure +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 +system from there: + mkdir build-oa + cd build-oa + ../open-axiom-1.0.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, @@ -74,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 - ./configure --prefix=/banana/space + ../open-axiom-1.0.0/configure --prefix=/banana/space 2.c. Make the system @@ -115,9 +121,18 @@ make sure that you've gained the adequate privileges. Then, type: make install 3.c. The system is ready for use + +After step 3.b., your should have a script called `axiom', in +/usr/local/bin or /banana/space/bin or /whichever/prefix/you/used/bin, +ready for your. Just type in + + axiom + +in the shell. -4. Enjoy. +4. Enjoy + ----- About Make ========== -- cgit v1.2.3