Thank you very much, Dima ! Le mardi 30 décembre 2025 à 16:26:07 UTC+1, [email protected] a écrit :
> > > On December 30, 2025 7:12:43 AM CST, Emmanuel Charpentier < > [email protected]> wrote: > > > > > >Coming back to Sage after some interruptions, I find myself unable to > >recall how one can print the current configuratoion of the Sage tree (*i. > >e.* what you need to pass as an argument to ./configure to reproduce your > >present configuration). ISTR that it was something like ./configure > --config > >in $SAGE_ROOT, but this doesn’t work anymore… > > ./config.status --config > > > > > >Can some kind soul come to the rescue of my aging memory ? > > > >Thanks a lot ! > > > > > -- You received this message because you are subscribed to the Google Groups "sage-support" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion visit https://groups.google.com/d/msgid/sage-support/dfd34f6c-3756-4c7e-a078-3018474e4820n%40googlegroups.com.
