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(+)
yann@148
     1
# Wrapper to build the tools facilities
yann@148
     2
yann@148
     3
# List all tools facilities, and parse their scripts
yann@148
     4
CT_TOOLS_FACILITY_LIST=
yann@182
     5
for f in "${CT_LIB_DIR}/scripts/build/tools/"*.sh; do
yann@916
     6
    _f="$(basename "${f}" .sh)"
yann@916
     7
    _f="${_f#???-}"
yann@916
     8
    __f="CT_TOOL_${_f}"
yann@916
     9
    if [ "${!__f}" = "y" ]; then
yann@916
    10
        CT_DoLog DEBUG "Enabling tool '${_f}'"
yann@916
    11
        . "${f}"
yann@916
    12
        CT_TOOLS_FACILITY_LIST="${CT_TOOLS_FACILITY_LIST} ${_f}"
yann@916
    13
    else
yann@916
    14
        CT_DoLog DEBUG "Disabling tool '${_f}'"
yann@148
    15
    fi
yann@148
    16
done
yann@148
    17
yann@148
    18
# Download the tools facilities
yann@148
    19
do_tools_get() {
yann@148
    20
    for f in ${CT_TOOLS_FACILITY_LIST}; do
yann@148
    21
        do_tools_${f}_get
yann@148
    22
    done
yann@148
    23
}
yann@148
    24
yann@148
    25
# Extract and patch the tools facilities
yann@148
    26
do_tools_extract() {
yann@148
    27
    for f in ${CT_TOOLS_FACILITY_LIST}; do
yann@148
    28
        do_tools_${f}_extract
yann@148
    29
    done
yann@148
    30
}
yann@148
    31
yann@148
    32
# Build the tools facilities
yann@148
    33
do_tools() {
yann@148
    34
    for f in ${CT_TOOLS_FACILITY_LIST}; do
yann@148
    35
        do_tools_${f}_build
yann@148
    36
    done
yann@148
    37
}
yann@148
    38