diff -up sage-5.9/spkg/build/sage-5.9/sage/env.py.orig sage-5.9/spkg/build/sage-5.9/sage/env.py --- sage-5.9/spkg/build/sage-5.9/sage/env.py.orig 2013-08-12 15:44:28.792116267 -0300 +++ sage-5.9/spkg/build/sage-5.9/sage/env.py 2013-08-12 15:45:35.582118824 -0300 @@ -34,7 +34,7 @@ SAGE_ENV = { 'LOCAL_IDENTIFIER' : '$HOSTNAME.%s'%os.getpid(), # bunch of sage directories and files - 'SAGE_ROOT' : None, + 'SAGE_ROOT' : '@@SAGE_ROOT@@', 'SAGE_LOCAL' : opj('$SAGE_ROOT', 'local'), 'SAGE_SHARE' : opj('$SAGE_LOCAL', 'share'), # for backwards compatibility we include SAGE_DATA @@ -43,7 +43,7 @@ SAGE_ENV = { 'SAGE_PACKAGES' : opj('$SAGE_ROOT', 'spkg'), 'SAGE_LOGS' : opj('$SAGE_ROOT', 'logs', 'pkgs'), 'SAGE_SPKG_INST' : opj('$SAGE_ROOT', 'spkg', 'installed'), - 'SAGE_DOC' : opj('$SAGE_ROOT', 'devel', 'sage', 'doc'), + 'SAGE_DOC' : '@@SAGE_DOC@@', 'DOT_SAGE' : opj(os.environ.get('HOME','$SAGE_ROOT'), '.sage'), # SAGE_LIB is the site-packages directory if the sage library # has been installed, otherwise it is the same of SAGE_SRC