TO some extent, configure would have to be run first if you starting from scratch. But I was thinking of the following sequence. * build normally with SPKG_CHECK * build breaks at linbox. * Do a one shot install of linbox * resume build with make until the next issue.
> On 21/02/2019, at 17:13, Ike Stoddard <[email protected]> wrote: > > But will this work without a prior installation? > > On Wed, Feb 20, 2019 at 19:00 François Bissey <[email protected]> wrote: > ./sage -i linbox > > > On 21/02/2019, at 13:51, Ike Stoddard <[email protected]> wrote: > > > > Unfortunately, I cannot see how to do that. How do I install a one-shot? > > In the unpacked linbox subtree: spkg-install? src/linbox-auto-install? > > > > On Wednesday, February 20, 2019 at 1:51:33 PM UTC-6, François Bissey wrote: > > sage is not yet able to use a system installed linbox. > > You could install linbox as a one shot without testing with > > sage and resume make. > > > > > > -- > > 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 https://groups.google.com/group/sage-devel. > > For more options, visit https://groups.google.com/d/optout. > > -- > 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 https://groups.google.com/group/sage-devel. > For more options, visit https://groups.google.com/d/optout. > > -- > 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 https://groups.google.com/group/sage-devel. > For more options, visit https://groups.google.com/d/optout. -- 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 https://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.
