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"