Opened 11 years ago

Last modified 11 years ago

#10801 closed enhancement

Create a new option: "sage -strip" which deletes things that aren't needed for a binary distribution of sage, or for people that will never develop or upgrade — at Initial Version

Reported by: was Owned by: tbd
Priority: major Milestone: sage-4.7.2
Component: packages: standard Keywords: sd32
Cc: jason, kcrisman Merged in:
Authors: Reviewers:
Report Upstream: N/A Work issues:
Branch: Commit:
Dependencies: Stopgaps:

Status badges


This is a frequently requested feature. We should start with some little script that does this, and build on it. I tried all the following, and ran the test suite and it worked fine.

  • rm SAGE_ROOT/local/lib/*.a
  • rm SAGE_ROOT/devel/sage/build/lib.*
  • rm SAGE_ROOT/devel/sage/build/temp.*
  • strip SAGE_ROOT/local/bin/Singular-* SAGE_ROOT/local/bin/gfan # gfan is a huge win.
  • jsmath image fonts are in MoinMoin? and are *HUGE*. Just delete everything related to moinmoin...
  • strip SAGE_ROOT/local/lib/*.so
  • rm -rf SAGE_ROOT/local/python/site-package/MoinMoin
  • rm all files in SAGE_LOCAL/devel/sage/sage/ that begin "* Generated by Cython" (I didn't do that)

Change History (0)

Note: See TracTickets for help on using tickets.