How to list the current configuration of Sage ?

[Emmanuel Charpentier]

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…

Can some kind soul come to the rescue of my aging memory ?

Thanks a lot !

​

[Dima Pasechnik]

On December 30, 2025 7:12:43 AM CST, Emmanuel Charpentier <emanuel.c...@gmail.com> 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

[Emmanuel Charpentier]

Thank you very much, Dima !