diff options
| -rw-r--r-- | INSTALL | 21 |
1 files changed, 12 insertions, 9 deletions
@@ -6,12 +6,12 @@ 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. -OpenAxiom needs noweb for extracting its source codes. If you don't -have running noweb utilities, you would need to either download the +OpenAxiom needs `noweb' for extracting its source codes. If you don't +have running `noweb' utilities, you would need to either download the dependency tarball from OpenAxiom's download web site, or separately install them, and then proceed with configuration as detailed below. -Note that GCL and noweb are needed only to build OpenAxiom. They are +Note that GCL and `noweb' are needed only to build OpenAxiom. They are not needed to run it. Finally, you would need a working GNU C compiler. It is also recommended @@ -82,6 +82,14 @@ would then have typed ../open-axiom-1.1.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'. +That way, you don't confuse OpenAxiom's command `axiom', with any other +program that you may have on your system. Most users usually have only +one software with a given name on their machines. If you plan to +have many software sharing the same executable name, please make sure +that you install them in distinct directories so that they don't conflict. + 2.c. Make the system Just type @@ -124,12 +132,7 @@ make sure that you've gained the adequate privileges. Then, type: 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. - +ready for use. 4. Enjoy ----- |