[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Axiom-developer] Re: NULL_OR_ON_C_STACK macro invalid (was: noweb)
From: |
Gabriel Dos Reis |
Subject: |
[Axiom-developer] Re: NULL_OR_ON_C_STACK macro invalid (was: noweb) |
Date: |
18 Aug 2006 19:20:53 +0200 |
[...]
| 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
- Re: [Axiom-developer] Re: NULL_OR_ON_C_STACK macro invalid, (continued)
- Re: [Axiom-developer] Re: NULL_OR_ON_C_STACK macro invalid, Gabriel Dos Reis, 2006/08/16
- [Axiom-developer] RE: NULL_OR_ON_C_STACK macro invalid (was: noweb), Page, Bill, 2006/08/16
- [Axiom-developer] Re: NULL_OR_ON_C_STACK macro invalid (was: noweb), Camm Maguire, 2006/08/18
- Re: [Axiom-developer] Re: NULL_OR_ON_C_STACK macro invalid, Ralf Hemmecke, 2006/08/18
- RE: [Axiom-developer] Re: NULL_OR_ON_C_STACK macro invalid, Bill Page, 2006/08/18
- Re: [Axiom-developer] Re: NULL_OR_ON_C_STACK macro invalid, root, 2006/08/18
- Re: [Axiom-developer] Re: NULL_OR_ON_C_STACK macro invalid, Gabriel Dos Reis, 2006/08/18
- [Axiom-developer] Re: NULL_OR_ON_C_STACK macro invalid (was: noweb), root, 2006/08/18
- [Axiom-developer] Re: NULL_OR_ON_C_STACK macro invalid (was: noweb), Gabriel Dos Reis, 2006/08/18
- [Axiom-developer] Re: NULL_OR_ON_C_STACK macro invalid (was: noweb), Camm Maguire, 2006/08/18
- [Axiom-developer] Re: NULL_OR_ON_C_STACK macro invalid (was: noweb),
Gabriel Dos Reis <=
- [Axiom-developer] Re: NULL_OR_ON_C_STACK macro invalid (was: noweb), Camm Maguire, 2006/08/18
- [Axiom-developer] RE: NULL_OR_ON_C_STACK macro invalid (was: noweb), Bill Page, 2006/08/18
- [Axiom-developer] Re: NULL_OR_ON_C_STACK macro invalid (was: noweb), Camm Maguire, 2006/08/18
- [Axiom-developer] Re: NULL_OR_ON_C_STACK macro invalid (was: noweb), Gabriel Dos Reis, 2006/08/18
- [Axiom-developer] RE: NULL_OR_ON_C_STACK macro invalid (was: noweb), Bill Page, 2006/08/18
- [Axiom-developer] Re: NULL_OR_ON_C_STACK macro invalid (was: noweb), Gabriel Dos Reis, 2006/08/18
- [Axiom-developer] Re: NULL_OR_ON_C_STACK macro invalid (was: noweb), Camm Maguire, 2006/08/18
- [Axiom-developer] RE: NULL_OR_ON_C_STACK macro invalid (was: noweb), Bill Page, 2006/08/18
- [Axiom-developer] Re: NULL_OR_ON_C_STACK macro invalid (was: noweb), Gabriel Dos Reis, 2006/08/19
- [Axiom-developer] RE: NULL_OR_ON_C_STACK macro invalid (was: noweb), Bill Page, 2006/08/19