Ticket #13938: 13938_ccache_default_dir.patch

File 13938_ccache_default_dir.patch, 903 bytes (added by jdemeyer, 10 years ago)

  • spkg/bin/sage-env 

    # HG changeset patch
# User Jeroen Demeyer <jdemeyer@cage.ugent.be>
# Date 1357827623 -3600
# Node ID 88eab6c97066ab4238b339a5cf462fe6c73a9860
# Parent  cb3fe0e58312677728ff6db41be89c4f48ed8d63
Don't set CCACHE_DIR

diff --git a/spkg/bin/sage-env b/spkg/bin/sage-env
    a b  
    484484
    485485# Setup env varariables if ccache is installed
    486486if [ -d "$SAGE_LOCAL/libexec/ccache" ]; then
    487     PATH="$SAGE_LOCAL/libexec/ccache:$PATH"; export PATH
    488 fi
    489 if [ -z "$CCACHE_DIR" ]; then
    490     CCACHE_DIR="$DOT_SAGE/ccache"
    491 fi
    492 if [ -z "$CYCACHE_DIR" ]; then
    493     CYCACHE_DIR="$DOT_SAGE/cycache"
     487    PATH="$SAGE_LOCAL/libexec/ccache:$PATH"
    494488fi
    495489if [ -z "$CCACHE_BASEDIR" ]; then
    496     CCACHE_BASEDIR="$SAGE_ROOT"
     490    export CCACHE_BASEDIR="$SAGE_ROOT"
    497491fi
    498 export CCACHE_DIR CYCACHE_DIR
    499 export CCACHE_BASEDIR
    500492
    501493if [ "$LD" = "" ]; then
    502494    LD="ld"  && export LD