scripts/build/tools.sh
author "Yann E. MORIN" <yann.morin.1998@anciens.enib.fr>
Sun Mar 08 18:04:56 2009 +0000 (2009-03-08)
changeset 1250 7aca73e68147
parent 483 99724e410693
permissions -rw-r--r--
Add patchset for MGP-4.2.4, from upstream.

/trunk/patches/gmp/4.2.4/120-perfpow.patch | 149 149 0 0 ++++++++++++++++++++++
/trunk/patches/gmp/4.2.4/110-mpf_set_str.patch | 32 32 0 0 +++++
/trunk/patches/gmp/4.2.4/100-mpf_eq.patch | 219 219 0 0 ++++++++++++++++++++++++++++++++
3 files changed, 400 insertions(+)
     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     _f="$(basename "${f}" .sh)"
     7     _f="${_f#???-}"
     8     __f="CT_TOOL_${_f}"
     9     if [ "${!__f}" = "y" ]; then
    10         CT_DoLog DEBUG "Enabling tool '${_f}'"
    11         . "${f}"
    12         CT_TOOLS_FACILITY_LIST="${CT_TOOLS_FACILITY_LIST} ${_f}"
    13     else
    14         CT_DoLog DEBUG "Disabling tool '${_f}'"
    15     fi
    16 done
    17 
    18 # Download the tools facilities
    19 do_tools_get() {
    20     for f in ${CT_TOOLS_FACILITY_LIST}; do
    21         do_tools_${f}_get
    22     done
    23 }
    24 
    25 # Extract and patch the tools facilities
    26 do_tools_extract() {
    27     for f in ${CT_TOOLS_FACILITY_LIST}; do
    28         do_tools_${f}_extract
    29     done
    30 }
    31 
    32 # Build the tools facilities
    33 do_tools() {
    34     for f in ${CT_TOOLS_FACILITY_LIST}; do
    35         do_tools_${f}_build
    36     done
    37 }
    38