[...] | 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 Axiom-developer@nongnu.org http://lists.nongnu.org/mailman/listinfo/axiom-developer