From 5d679dde22326163b822c0b6f6fc134a326ccaa0 Mon Sep 17 00:00:00 2001 From: dos-reis Date: Fri, 24 Aug 2007 12:28:00 +0000 Subject: * INSTALL: Tidy. --- INSTALL | 23 +++++++++++++++++++---- 1 file changed, 19 insertions(+), 4 deletions(-) (limited to 'INSTALL') 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