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/8DA8A3ED-4DFD-4C4B-9BED-9B9DA0224223%40gmail.com.
