scripts/build/tools.sh
author "Yann E. MORIN" <yann.morin.1998@anciens.enib.fr>
Wed Jun 25 21:56:36 2008 +0000 (2008-06-25)
changeset 622 259d3b95bfad
parent 479 05c62432ec19
child 916 68af6b83ff7e
permissions -rw-r--r--
Don't force building target GMP and MPFR when a native gdb is built. Rather,
add a config knob to configure the native gdb to use or not to use GMP and
MPFR; _this_config_knob_ will force building the target GMP and MPFR only if
turned on.

/trunk/scripts/build/debug/300-gdb.sh | 2 1 1 0 +-
/trunk/config/debug/gdb.in | 21 19 2 0 +++++++++++++++++++--
2 files changed, 20 insertions(+), 3 deletions(-)
     1 # Wrapper to build the tools facilities
     2 
     3 # List all tools facilities, and parse their scripts
     4 CT_TOOLS_FACILITY_LIST=
     5 for f in "${CT_LIB_DIR}/scripts/build/tools/"*.sh; do
     6     is_enabled=
     7     . "${f}"
     8     f=$(basename "${f}" .sh)
     9     if [ "${is_enabled}" = "y" ]; then
    10         CT_TOOLS_FACILITY_LIST="${CT_TOOLS_FACILITY_LIST} ${f#???-}"
    11     fi
    12 done
    13 
    14 # Download the tools facilities
    15 do_tools_get() {
    16     for f in ${CT_TOOLS_FACILITY_LIST}; do
    17         do_tools_${f}_get
    18     done
    19 }
    20 
    21 # Extract and patch the tools facilities
    22 do_tools_extract() {
    23     for f in ${CT_TOOLS_FACILITY_LIST}; do
    24         do_tools_${f}_extract
    25     done
    26 }
    27 
    28 # Build the tools facilities
    29 do_tools() {
    30     for f in ${CT_TOOLS_FACILITY_LIST}; do
    31         do_tools_${f}_build
    32     done
    33 }
    34