It may happen that you get (just)
The following package(s) may have failed to build:
The build directory may contain configuration files and other potentially
helpful information. WARNING: if you now run 'make' again, the build
directory will, by default, be deleted. Set the environment variable
SAGE_KEEP_BUILT_SPKGS to 'yes' to prevent this.
which can probably be misleading as is. (It may sound like everything
would get rebuilt from scratch when reissuing 'make'.)
I'd suggest to rephrase it:
The following package(s) may have failed to build:
The temporary build directories *of those packages* may contain
configuration files and other potentially helpful information.
WARNING: If you now run 'make' again, *these* build directories will,
by default, be deleted. Set the environment variable
SAGE_KEEP_BUILT_SPKGS to 'yes' to prevent this.
(We could also add a note there that setting SAGE_KEEP_BUILT_SPKGS -- in
retrospective, also a kind of misleading name* -- to 'yes' in general
will potentially massively increase the disk space requirements, and on
how to later get rid of them.)
We should also clarify that "setting" there is supposed to mean "setting
and exporting" the variable. And one should unset it afterwards if
everything went smooth (also deleting the temporary build directories,
as mentioned above.)
-leif
P.S.: Bonus points for checking whether SAGE_KEEP_BUILT_SPKGS is
already set to "yes", in order to not advise the user superfluously or
more than once (which already confused at least some).
_____________
* SAGE_KEEP_TEMPORARY_[[S]PKG_]BUILD_DIRS would probably fit better.
--
() The ASCII Ribbon Campaign
/\ Help Cure HTML E-Mail
--
You received this message because you are subscribed to the Google Groups
"sage-devel" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/sage-devel.
For more options, visit https://groups.google.com/d/optout.
