Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Document how to clean up after building from source #35276

Open
beew opened this issue Mar 13, 2023 · 1 comment
Open

Document how to clean up after building from source #35276

beew opened this issue Mar 13, 2023 · 1 comment
Labels
c: build c: documentation

Comments

@beew
Copy link

beew commented Mar 13, 2023

Hi,

After building sage I find that sage root is quite big. I am wondering if there are folders I can safely delete (e.g upstream?) in order to recover some disk space.

I download a new tarball and compile from fresh whenever there is a new release so I am not concerned about not being able to upgrade to a new sage version from existing installation, but I may want to install some optional packages which I haven't during build at a latter day.

Thanks.

OS is Ubuntu 22.04. sage 9.8.
@mkoeppe
Copy link
Contributor

mkoeppe commented Mar 14, 2023

Try make fast-rebuild-clean

@mkoeppe mkoeppe changed the title clean up after building from source Document how to clean up after building from source Mar 14, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
c: build c: documentation
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@beew @mkoeppe