On 12 Aug, 08:21, William Stein <wst...@gmail.com> wrote:
> >> Anyway, it seems like we should do something like print a huge warning
> >> and an interactive "are you sure you want to continue? [yes/no]" if
> >> the
> >> "(Apple Inc. Build xxxx)" has xxxx < some_arbitrary_number, where the
> >> arbitrary number is something like say 5470?
>
> >> -- William
>
> > You would not happen to have a small snipit bit of code that can
> > reproducibly generate the error would you? (I guess the answer is no,
> > but there is no harm in asking).
>
> I never observed the error myself. It was reported on the list by somebody.
>
> > If so, actually compiling that code and
> > testing it in autoconf would be good.
>
> > It is not normal to have "Are you sure yes/no" in configure scripts,
> > which was what I was working on (i.e. configure.ac).
>
> Yes, I guess you can't. We do already have a message like that at the
> beginning of the build if the user has fink or Darwin ports installed,
> by the way.
>
> > The only options in
> > cases like this I'm aware of are
>
> > 1) Issue a warning (AC_MSG_WARN)
> > 2) Issue an error (AC_MSG_ERROR), which exits.
>
> > Given the tools are available free, then exiting might be best. If I
> > exit with a message:
>
> > "If you are really insistent on trying to build Sage with tools known to
> > be broken, set the variable SAGE_USE_BROKEN_TOOLS to 1"
>
> > That I think would be easiest to implement, rather than a yes/no.
>
> True and agreed. It is also nice since the user could much more
> easily set that in a scripted build. I like that much better.
>
> William
Thinking about it 'yes' is probably better than '1', though I can
easily accept both. I'm never quite sure whether things like this
should be set to YES/yes/1/TRUE/true/True ... etc.
SAGE_DEBUG is documented as being 'yes', so I suspect 'yes' is most
appropiate for consistancy.
It would be good if there were some published guidelines on the names
and values for environment variables in Sage.
dave
--~--~---------~--~----~------------~-------~--~----~
To post to this group, send an email to sage-devel@googlegroups.com
To unsubscribe from this group, send an email to
sage-devel-unsubscr...@googlegroups.com
For more options, visit this group at http://groups.google.com/group/sage-devel
URLs: http://www.sagemath.org
-~----------~----~----~----~------~----~------~--~---
