Ticket #13881: trac_13881_launch_cygdb.patch

File trac_13881_launch_cygdb.patch, 925 bytes (added by jdemeyer, 7 years ago)

Updated patch

  • spkg/bin/sage

    # HG changeset patch
    # User Volker Braun <vbraun.name@gmail.com>
    # Date 1357310232 0
    # Node ID e2b20d4ac0678bd9eb9f2edc34169b76015419ae
    # Parent  4a569aef6b23bd8d11f9617b31106c1526ebacc3
    Launch cygdb instead of gdb if SAGE_DEBUG=yes
    
    diff --git a/spkg/bin/sage b/spkg/bin/sage
    a b  
    999999if [ "$1" = '-gdb' -o "$1" = "--gdb" ]; then
    10001000    shift
    10011001    sage_setup
    1002     gdb -x "$SAGE_ROOT/local/bin/sage-gdb-commands" -args python "$SAGE_ROOT/local/bin/sage-ipython" "$@" -i
     1002    if [ "$SAGE_DEBUG" = "no" ]; then
     1003        gdb -x "$SAGE_ROOT/local/bin/sage-gdb-commands" \
     1004            -args python "$SAGE_ROOT/local/bin/sage-ipython" "$@" -i
     1005    else
     1006        cygdb "$SAGE_ROOT/devel/sage" "$SAGE_ROOT/devel/sage/sage" \
     1007            -x "$SAGE_ROOT/local/bin/sage-gdb-commands" \
     1008            -args python "$SAGE_ROOT/local/bin/sage-ipython" "$@" -i
     1009    fi
    10031010    exit $?
    10041011fi
    10051012