diff options
Diffstat (limited to 'libre/sagemath/paths.patch')
-rw-r--r-- | libre/sagemath/paths.patch | 33 |
1 files changed, 33 insertions, 0 deletions
diff --git a/libre/sagemath/paths.patch b/libre/sagemath/paths.patch new file mode 100644 index 000000000..4691c8af9 --- /dev/null +++ b/libre/sagemath/paths.patch @@ -0,0 +1,33 @@ +--- src/sage/env.py.orig 2014-06-25 10:47:25.827203554 +1200 ++++ src/sage/env.py 2014-06-25 10:49:07.667402821 +1200 +@@ -86,21 +86,18 @@ + _add_variable_or_fallback('LOCAL_IDENTIFIER','$HOSTNAME.%s'%os.getpid()) + + # bunch of sage directories and files +-_add_variable_or_fallback('SAGE_ROOT', None) +-_add_variable_or_fallback('SAGE_LOCAL', opj('$SAGE_ROOT', 'local')) +-_add_variable_or_fallback('SAGE_ETC', opj('$SAGE_LOCAL', 'etc')) +-_add_variable_or_fallback('SAGE_SHARE', opj('$SAGE_LOCAL', 'share')) ++_add_variable_or_fallback('SAGE_ROOT', '/usr') ++_add_variable_or_fallback('SAGE_LOCAL', '/usr') ++_add_variable_or_fallback('SAGE_ETC', '/etc/sage') ++_add_variable_or_fallback('SAGE_SHARE', opj('$SAGE_LOCAL', 'share', 'sage')) + + _add_variable_or_fallback('SAGE_SRC', opj('$SAGE_ROOT', 'src')) +-_add_variable_or_fallback('SITE_PACKAGES', site.getsitepackages()) ++_add_variable_or_fallback('SITE_PACKAGES', site.getsitepackages()+['/usr/lib/sage/site-packages']) + _add_variable_or_fallback('SAGE_LIB', SITE_PACKAGES[0]) + +-_add_variable_or_fallback('SAGE_EXTCODE', opj('$SAGE_SHARE', 'sage', 'ext')) +-_add_variable_or_fallback('SAGE_LOGS', opj('$SAGE_ROOT', 'logs', 'pkgs')) +-_add_variable_or_fallback('SAGE_SPKG_INST', opj('$SAGE_LOCAL', 'var', 'lib', 'sage', 'installed')) +-_add_variable_or_fallback('SAGE_DOC', opj('$SAGE_SRC', 'doc')) +-_add_variable_or_fallback('DOT_SAGE', opj(os.environ.get('HOME','$SAGE_ROOT'), '.sage')) +-_add_variable_or_fallback('SAGE_DOT_GIT', opj('$SAGE_ROOT', '.git')) ++_add_variable_or_fallback('SAGE_EXTCODE', opj('$SAGE_SHARE', 'ext')) ++_add_variable_or_fallback('SAGE_DOC', '/usr/share/doc/sage') ++_add_variable_or_fallback('DOT_SAGE', opj(os.environ.get('HOME'), '.sage')) + _add_variable_or_fallback('SAGE_DISTFILES', opj('$SAGE_ROOT', 'upstream')) + + # misc + |