Ask Your Question
1

How can I purge unneeded files after compilation?

asked 2017-05-19 02:01:54 +0200

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 16:58:56 +0200 )edit

1 Answer

Sort by ยป oldest newest most voted
1

answered 2017-05-19 16:55:19 +0200

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-25 03:37:55 +0200 )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-19 02:01:54 +0200

Seen: 251 times

Last updated: May 19 '17