Ticket #8855: trac_8855-sage_env.patch

File trac_8855-sage_env.patch, 941 bytes (added by Mike Hansen, 13 years ago)
  • sage-env

    # HG changeset patch
    # User Mike Hansen <mhansen@gmail.com>
    # Date 1274753182 25200
    # Node ID 39007cb2ce360df74ff884760262cd4825f468a8
    # Parent  e343f1bb561658c72b46deca4650d7c2bbf011b1
    Trac #8855: sage-env needs to be updated for Cygwin
    
    diff -r e343f1bb5616 -r 39007cb2ce36 sage-env
    a b  
    128128GPDOCDIR="$SAGE_LOCAL/share/pari/doc" && export GPDOCDIR
    129129
    130130SINGULARPATH="$SAGE_LOCAL/share/singular" && export SINGULARPATH
     131SINGULAR_EXECUTABLE="$SAGE_LOCAL/bin/Singular" && export SINGULAR_EXECUTABLE
    131132
    132133if [ "$SAGE_SERVER" = "" ]; then
    133134    SAGE_SERVER="http://www.sagemath.org/"
     
    277278    MFLAGS="$MAKEFLAGS"  && export MFLAGS
    278279fi
    279280
     281if [ "$UNAME" = "CYGWIN" ]; then
     282    PATH="$PATH:$SAGE_LOCAL/lib" && export PATH
     283fi
     284
    280285# See trac 7186 -- this is needed if ecl is moved
    281286ECLDIR="$SAGE_LOCAL/lib/ecl/" && export ECLDIR
    282287