How to list the current configuration of Sage ?

5 views

Skip to first unread message

Emmanuel Charpentier

unread,

8:12 AM (3 hours ago) 8:12 AM

to sage-support

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

unread,

10:26 AM (1 hour ago) 10:26 AM

to sage-s...@googlegroups.com

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…