Ask Your Question
1

How can I purge unneeded files after compilation?

asked 2017-05-18 19:01:54 -0500

millermj gravatar image

After compiling sage-7.6 from source, I get a folder of size 8.6 GB. I'd like to keep just the files necessary to run sage, but there is no "make clean". How can I purge unneeded files?

On a related note, the readme.md file contains instructions for sage --bdist, which appears to have been removed for quite some time. Who might I ask to have that text removed?

edit retag flag offensive close merge delete

Comments

See https://trac.sagemath.org/ticket/23034 for the "sage --bdist" issue.

John Palmieri gravatar imageJohn Palmieri ( 2017-05-19 09:58:56 -0500 )edit

1 answer

Sort by ยป oldest newest most voted
1

answered 2017-05-19 09:55:19 -0500

You could try "make micro_release" to eliminate some unneeded files.

edit flag offensive delete link more

Comments

That works - thanks!

millermj gravatar imagemillermj ( 2017-05-24 20:37:55 -0500 )edit

Your Answer

Please start posting anonymously - your entry will be published after you log in or create a new account.

Add Answer

Question Tools

1 follower

Stats

Asked: 2017-05-18 19:01:54 -0500

Seen: 58 times

Last updated: May 19