In theory you should be able to run "make micro_release". According to the comment in Makefile, this will "Remove everything that is not necessary to run Sage and pass all its doctests." I say "in theory" because I haven't personally tried it and I don't know if it's regularly tested by anyone. If you're willing to start from scratch if things are broken, then it's worth trying.
-- John On Tuesday, March 8, 2022 at 11:50:01 AM UTC-8 Ethan Lin wrote: > Hello! I have a question concerning what is safe to delete after make. > After make I was informed with this message. > It is safe to delete any log files and build directories, but they > contain information that is helpful for debugging build problems. > WARNING: If you now run 'make' again, the build directory of the > same version of the package will, by default, be deleted. Set the > environment variable SAGE_KEEP_BUILT_SPKGS=yes to prevent this. > What is safe to delete? And what are the paths to them? > I started to remove the <SAGE_ROOT>/logs/pkgs log files... then I wasn't > sure if that was the correct directory... > Cheers! > -- 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/e6189124-f40a-4e45-ae42-815328299e16n%40googlegroups.com.
