[Axiom-developer] [build-improvements] noweb optional

[Gabriel Dos Reis]

As of revision 93, the build-improvements branch has made noweb
optional.  That means that, if noweb is already installed on the
build machine, then Axiom will not build its own version.

More precisely, we now have a new option:

    --with-noweb (negative counterpart: --without-noweb)

--with-noweb instructs the build machinery to assume that noweb is
present on the build machine -- configure does a check and errors out
if it cannot find notangle and noweave.

Conversely, --without-noweb instructs the build machinery not to
bother checking anything and assume that noweb is absent.
Axiom's copy of noweb is built.

If you don't specify any of those two options, configure will detect
whether both notangle and noweave are present.  If yes, it will use
them.  If one of both are missing, then Axiom's copy is used.

Of course, all of that will be added to the documentation.  This is
just a "heads up".

-- Gaby