Questions about what directory and files are safe to delete.

Ethan Lin

unread,

Mar 8, 2022, 2:50:01 PM3/8/22

to sage-devel

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!

John H Palmieri

unread,

Mar 8, 2022, 10:04:22 PM3/8/22

to sage-devel

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

Nathan Dunfield

unread,

Mar 8, 2022, 10:36:17 PM3/8/22

to sage-devel

On Tuesday, March 8, 2022 at 9:04:22 PM UTC-6 John H Palmieri wrote:

In theory you should be able to run "make micro_release".

This mostly works, though it fails to strip some binaries which were moved in Sage 9.5. See https://trac.sagemath.org/ticket/33409

Nathan

Reply all

Reply to author

Forward