On Tuesday, May 31, 2022 at 10:45:47 AM UTC-7 hohoa...@gmail.com wrote: > > "It is not supported to move the SAGE_ROOT or SAGE_LOCAL directory after > building Sage. If you do move the directories, you will have to run make > distclean and build Sage again from scratch." > > So, practically speaking, BOTH "$SAGE_ROOT" and "$SAGE_LOCAL" are part of > the 'sage' installation? >
SAGE_LOCAL is the self-contained Sage installation. You need SAGE_ROOT only if you want to refer back to the source or rebuild Sage. However, when both are available: > ~/sage-9.7$ local.beta1 --advanced | wc -l > 242 > > and when "$SAGE_ROOT" is renamed to "$SAGE_ROOT"_: > ~/sage-9.7$ local1 --advanced | wc -l > 154 > What are these missing 88(?) lines in "sage --advanced"? > When SAGE_ROOT is not available, "sage --advanced" will not show the commands for rebuilding Sage, which need SAGE_ROOT. -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/sage-devel/0be69090-6dc3-487c-be56-ad68fb0fa87an%40googlegroups.com.
