scripts/build/tools.sh
changeset 148 567f1673d59d
child 182 223c84ec2d90
     1.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.2 +++ b/scripts/build/tools.sh	Fri Jun 01 16:55:33 2007 +0000
     1.3 @@ -0,0 +1,34 @@
     1.4 +# Wrapper to build the tools facilities
     1.5 +
     1.6 +# List all tools facilities, and parse their scripts
     1.7 +CT_TOOLS_FACILITY_LIST=
     1.8 +for f in "${CT_TOP_DIR}/scripts/build/tools/"*.sh; do
     1.9 +    is_enabled=
    1.10 +    . "${f}"
    1.11 +    f=`basename "${f}" .sh`
    1.12 +    if [ "${is_enabled}" = "y" ]; then
    1.13 +        CT_TOOLS_FACILITY_LIST="${CT_TOOLS_FACILITY_LIST} ${f}"
    1.14 +    fi
    1.15 +done
    1.16 +
    1.17 +# Download the tools facilities
    1.18 +do_tools_get() {
    1.19 +    for f in ${CT_TOOLS_FACILITY_LIST}; do
    1.20 +        do_tools_${f}_get
    1.21 +    done
    1.22 +}
    1.23 +
    1.24 +# Extract and patch the tools facilities
    1.25 +do_tools_extract() {
    1.26 +    for f in ${CT_TOOLS_FACILITY_LIST}; do
    1.27 +        do_tools_${f}_extract
    1.28 +    done
    1.29 +}
    1.30 +
    1.31 +# Build the tools facilities
    1.32 +do_tools() {
    1.33 +    for f in ${CT_TOOLS_FACILITY_LIST}; do
    1.34 +        do_tools_${f}_build
    1.35 +    done
    1.36 +}
    1.37 +