Yes and that does work. > On 21/02/2019, at 17:19, Ike Stoddard <[email protected]> wrote: > > But without sage installed, it just uses the “local” script ./sage to do the > 1-shot? > > On Wed, Feb 20, 2019 at 22:16 François Bissey <[email protected]> wrote: > 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. > > -- > 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.
