On 2011-08-11 12:41, John Cremona wrote:
> After building Sage the amount of filespace used is (as we all know)
> rather large.  I was just checking a 4.7 install, which is not used
> for any development pusposes, and is on a machine which I use but do
> not own, and where I was just told that the filespace was getting
> short, and found that the SAGE_ROOT was taking up 15GB of which 5.5GB
> is in devel and 8.4GB in local.  Moreover, in devel I find:
> 
> masgaj@hpclogin1%cd devel/
> masgaj@hpclogin1%du -sh *
> 256K  old
> 256K  sage
> 3.1G  sage-main
> 256K  sagenb
> 2.4G  sagenb-main
> masgaj@hpclogin1%ls sagenb-main/
> build  go        MANIFEST.in  README.txt         sagenb           sass
>   setup.cfg  spkg-dist
> dist   Makefile  PKG-INFO     release_notes.txt  sagenb.egg-info
> sdist  setup.py   SPKG.txt
> masgaj@hpclogin1%ls sage-main/
> build   c_lib  export   MANIFEST.in     module_list.pyc  pull
> sage       setup.py      spkg-dist
> bundle  doc    install  module_list.py  PKG-INFO         README.txt
> sage-push  spkg-delauto  spkg-install
> 
> Can anyone say just why sagenb-main is almost as large as sage-main
> itself?  And is there a simple way (I looked for a command line option
> but could not see one) of stripping down a Sage build so it is still
> fully functional, including all the include files and shared libraries
> under local/ (which I use for building other stuff) but which takes up
> rather less than 15GB?

I agree with leif, this is probably an issue with the filesystem you are
using.  This is on an reiserfs file system:
$ cd $SAGE_ROOT
$ du -sh      # On-disk size
3.0G    .
$ du -bsh     # Sum of byte sizes of files
2.7G    .

-- 
To post to this group, send an email to sage-devel@googlegroups.com
To unsubscribe from this group, send an email to 
sage-devel+unsubscr...@googlegroups.com
For more options, visit this group at http://groups.google.com/group/sage-devel
URL: http://www.sagemath.org

Reply via email to