Ticket #13407: 13407_spkg.patch

File 13407_spkg.patch, 1.0 KB (added by jdemeyer, 10 years ago)

  • spkg/bin/sage-spkg 

    # HG changeset patch
# User Jeroen Demeyer <jdemeyer@cage.ugent.be>
# Date 1347623937 -7200
# Node ID a9011e45347e8cd8c3cd3b7e37c8b8b3d91dd180
# Parent  9fd5ca0a50d0d7797439bb328e889ad027649cd5
Force sage-location after installing new packages

diff --git a/spkg/bin/sage-spkg b/spkg/bin/sage-spkg
    a b  
    511511fi
    512512
    513513
    514 # 'sage-make_relative' is currently a Python script.
    515 # Only run it if Sage's Python is already installed (cf. #9992) and if
    516 # sage_scripts (which includes sage-make_relative) is installed.
    517 # This must be run from the directory SAGE_LOCAL/bin
    518 cd "$SAGE_LOCAL/bin"
    519 if [ -x ./python -a -f sage-make_relative ]; then
    520     echo "Making Python scripts relocatable..."
    521     ./python sage-make_relative
    522 fi
     514# Touch this file to force a sage-location run next time Sage is
     515# started.  This is needed to make some of the installed libraries and
     516# scripts independent of the SAGE_ROOT path.
     517touch "$SAGE_LOCAL/lib/sage-force-relocate.txt"
     518
    523519
    524520echo "Finished installing $PKG_NAME.spkg"