On Wednesday, April 8, 2020 at 8:01:38 PM UTC-7, hbetx9 wrote: > > No, I just want all users to have this at default. Where should I put the > SAGE_ROOT directory? /usr/local? >
Use "./configure --prefix=/usr/local/opt/sage-9.0" to set the installation prefix (SAGE_LOCAL). -- 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 sage-support+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/sage-support/394ece00-bd5a-4ac2-9e2f-257fd84999c3%40googlegroups.com.
