From ef6d755c944ef5af40c909c6683a3691dc9f6a57 Mon Sep 17 00:00:00 2001 From: dos-reis Date: Sat, 21 Aug 2010 03:07:54 +0000 Subject: External tool noweb is no longer required. * INSTALL: Update instructions. * Makefile.pamphlet: Remove rules for building noweb. (AXIOM_SRC_TARGETS): Include all-utils. * config/open-axiom.m4 (OPENAXIOM_BUILD_TOOLS): Don't check for notangle and noweave. * config/setup-dep.mk: Remove rules for generating document. * config/var-def.mk: Remove NOTANGLE and NOWEAVE variables. * configure.ac: Instantiate Makefile for src/utils. --- INSTALL | 50 +++++++++++++++++++------------------------------- 1 file changed, 19 insertions(+), 31 deletions(-) (limited to 'INSTALL') diff --git a/INSTALL b/INSTALL index 7ab9d234..0b8b9815 100644 --- a/INSTALL +++ b/INSTALL @@ -5,32 +5,27 @@ OpenAxiom currenly requires a Lisp system for its runtime support. OpenAxiom is known to build with the GNU Common Lisp (GCL versions 2.6.7 or 2.6.8), Steel Bank Common Lisp (SBCL version 1.0.22 or higher, except 1.0.29), CLisp (version 2.44.x or higher), and ECL (version -0.9l or higher). So, if you already have any of the above mentioned -Lisp systems, your are good to go. Otherwise, you would need to -download a dependency tarball from OpenAxiom's download web site. See -instructions below. +0.9l or higher), Clozure CL (version 1.3 or higher). So, if you +already have any of the above mentioned Lisp systems, your are good to +go. 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 -dependency tarball from OpenAxiom's download web site, or separately -install them, and then proceed with configuration as detailed below. +Note that a functional Lisp system (e.g. SBCL, GCL, CLisp, ECL, or +Clozure CL) ir needed only to build OpenAxiom. They are not needed +once the system is installed. -Note that GCL or SBCL or CLisp, and `noweb' are needed only to build -OpenAxiom. They are not needed once the system is installed. - -Finally, you would need a working GNU C compiler. It is also recommended +Finally, you would need working C and C++ compilers -- you need +compilers from GNU if you plan on using GCL. It is also recommended that you install X11 development headers and libraries, especially -Xpm. Windows (MingW/MSYS) users do not need X11 components. They -still need a working GNU C compiler though. +Xpm. Windows (MingW/MSYS) users do not need X11 components. Ah, one more note: OpenAxiom requires GNU Make. -1. Lisp and noweb prerequisites - ---------------------------- +1. Lisp prerequisite + ----------------- -If any of GCL or noweb is missing from your build environment, then -you need to either separately install them, or download the dependency -tarball +If you are missing a Lisp system, you need to get one, either +separately install it, or download the dependency tarball open-axiom-1.3.x-dep.tar.bz2 @@ -38,12 +33,7 @@ from the SourceForge download site http://voxel.dl.sourceforge.net/sourceforge/open-axiom/open-axiom-1.3.x-dep.tar.bz2 -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. +If you already have a Lisp system installed, please go to step 2. Note however that if you want to build OpenAxiom with the GCL from the dependency tarball (assuming you have unpacked it as explained in step 1.b.), and you have other Lisp systems available in the build @@ -69,9 +59,9 @@ named open-axiom-1.3.x. Rename it to open-axiom-1.3.0, e.g.: It is assumed you have already downloaded open-axiom source tarball, e.g. open-axiom-1.3.0.tar.bz2. -Note: If you don't have GCL or noweb in the build environment, please +Note: If you don't have a Lisp system in the build environment, please make sure that you have either followed the instructions in step 1., -or have separately installed them before proceeding. +or have separately installed one before proceeding. 2.a. Decompress the OpenAxiom source tarball @@ -175,10 +165,8 @@ OpenAxiom build system requires GNU Make. It might theoretically be possible to cram the Makefiles so that they can work with a large set of Make programs. However, doing so will not be cost effective. GNU Make has been ported to virtually any system current OpenAxiom can build -one. In particular, OpenAxiom uses GCL, which in turns requires GCC. -GCC requires GNU Make. GCL too requires GNU Make. Consequently, -the GNU Make requirement is not a stringent requirement. It just -reflects reality. +one. Consequently, the GNU Make requirement is not a stringent +requirement. It just reflects reality. So, if you're using a system where "make" is not GNU Make, then try "gmake" instead. -- cgit v1.2.3