[...]
| configure:2892: checking for notangle
| configure:2921: result: no
| configure:2927: checking for noweave
| configure:2956: result: no
[...]
| ## ----------------- ##
| ## Output variables. ##
| ## ----------------- ##
[...]
| NOTANGLE=''
| NOWEAVE=''
OK, I got it. You don't noweb in your environement. That is OK.
However, for some reasons, NOTANGLE and NOWEAVE are not set to
point to those build as part of Axiom. That is weird because, you
configure.ac should have these lines
-----------------
axiom_use_noweb=
AC_ARG_WITH([noweb], [assume noweb is present in the build environment],
[case $withval in
yes|no) axiom_use_noweb=$withval ;;
*) AC_MSG_ERROR([erroneous value for --with-noweb]) ;;
esac])
## Check for notangle and noweb if we are not explicitly told
## to build noweb from Axiom sources.
if test x$axiom_use_noweb != xno; then
AC_CHECK_PROG([NOTANGLE], [notangle], [notangle])
AC_CHECK_PROG([NOWEAVE], [noweave], [noweave])
## Ensure the build environment is consistent with specified option.
if test x$axiom_use_noweb = xyes \
&& test -z $NOTANGLE -o -z $NOWEAVE; then
AC_MSG_ERROR([noweb utils are missing but --with-noweb is specified])
fi
## Otherwise, either noweb is missing from the build environment or
## we are told not to check. In both cases, we do need noweb; so
## tell the Makefiles to build one and use it.
else
NOTANGLE=$axiom_build_bindir/notangle
NOWEAVE=$axiom_build_bindir/noweave
axiom_required_build_utils="$axiom_required_build_utils noweb"
AC_SUBST(NOTANGLE)
AC_SUBST(NOWEAVE)
fi
-----------------
-- Gaby
_______________________________________________
Axiom-developer mailing list
[email protected]
http://lists.nongnu.org/mailman/listinfo/axiom-developer
