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 ! -- 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/5e8ac60c-69a8-4bcf-b429-99243aa294c3n%40googlegroups.com.
