On Thu, Oct 14, 2021 at 02:01:30PM -0700, Matthias Koeppe wrote: > There's no such make target, but a ticket to add such > targets: https://trac.sagemath.org/ticket/31501
Thanks for the pointer. Here is another request, in the same vein towards being able to build and test most things without human intervention, especially in order to maintain some pressure for 32bit systems: I would like to run all self tests (with SAGE_CHECK='yes'), but if some self-test fails, i want to log which package failed, and then resume with the further packages. Currently, when a self-test fails, the build breaks, i can workaround this with some while loop, however, i would like to know which packages caused the error, so that i could design an optimal SAGE_CHECK_PACKAGES variable for the next build and and report the failed ones on trac and upstream. Also, regarding optional packages, i would like to install them all with a series of --enable-<spkg> (or with a dedicated configure option) and log every package that failed to build. The overall goal is both to propose huge builds like in Sage Debian Live, and to run patchbots with all (if not all) optional packages, both 32 and 64 bits so that they remain under control. Ciao, Thierry > On Thursday, October 14, 2021 at 12:35:57 PM UTC-7 Thierry > (sage-googlesucks@xxx) wrote: > > > Hi, > > > > let "pack" be an optional package with a spkg-configure.m4 file, and > > assume that an equivalent package is installed from the distro and that > > ./configure asserts that "using system package; SPKG will not be > > installed". > > > > If i do "make pack", the package is installed anyway. What would be the > > make command to install pack unless the distro provided ? > > > > Ciao, > > Thierry > > > > > > -- > 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 sage-devel+unsubscr...@googlegroups.com. > To view this discussion on the web visit > https://groups.google.com/d/msgid/sage-devel/5b4c2142-c226-4f16-9715-452ff447805bn%40googlegroups.com. -- 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 sage-devel+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/sage-devel/20211019125931.GA24917%40metelu.net.
