scripts/build/debug/duma.in
author "Yann E. MORIN" <yann.morin.1998@anciens.enib.fr>
Sun Jul 13 10:32:38 2008 +0000 (2008-07-13)
changeset 645 8e58024f8e37
child 686 dd364fef67b4
permissions -rw-r--r--
Ioannis E. VENETIS <venetis@mail.capsl.udel.edu> pointed out that GMP and MPFR were not used by gcc.
Turned out that none could use GMP and MPFR as the config option changed its name, but the change was not propagated to all users.

/trunk/scripts/build/binutils.sh | 2 1 1 0 +-
/trunk/scripts/build/debug/300-gdb.sh | 2 1 1 0 +-
/trunk/scripts/build/cc_gcc.sh | 6 3 3 0 +++---
3 files changed, 5 insertions(+), 5 deletions(-)
     1 #!/bin/sh
     2 # (C) 2008 Yann E. MORIN <yann.morin.1998@anciens.enib.fr>
     3 # Licensed under the GPL v.2
     4 
     5 LIBDUMA_SO=
     6 
     7 case "$1" in
     8   -on)
     9     case "${LD_PRELOAD}" in
    10       *${LIBDUMA_SO}*) ;;
    11       *) LD_PRELOAD="${LIBDUMA_SO} ${LD_PRELOAD}";;
    12     esac
    13     shift
    14     ;;
    15   -off)
    16     LD_PRELOAD="${LD_PRELOAD//${LIBDUMA_SO}/}"
    17     shift
    18     ;;
    19   -show)
    20     case "${LD_PRELOAD}" in
    21       *${LIBDUMA_SO}*) echo "duma is enabled";;
    22       *)               echo "duma is disabled";;
    23     esac
    24     exit 0
    25     ;;
    26   "")
    27     cat <<_EOF_
    28 Usage:
    29     . $0 <-on|-off|-show>
    30         Sets, unsets or show DUMA usage.
    31     $0 <executable [arg...]>
    32         Execute 'executable' (with arguments 'args') using DUMA.
    33 _EOF_
    34     false # Don't 'exit', we could well be source'd
    35     ;;
    36   *)
    37     exec "$0" -on "$@"
    38     ;;
    39 esac
    40 
    41 export LD_PRELOAD
    42 if [ -n "$1" ]; then
    43   exec "$@"
    44 fi