aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--INSTALL21
1 files changed, 12 insertions, 9 deletions
diff --git a/INSTALL b/INSTALL
index e7915e42..5df01030 100644
--- a/INSTALL
+++ b/INSTALL
@@ -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
-----