scripts/build/companion_tools/050-make.sh
author "Yann E. MORIN" <yann.morin.1998@anciens.enib.fr>
Sat Jan 22 23:20:18 2011 +0100 (2011-01-22)
changeset 2305 2ed26c646568
child 2309 2e0f0757289d
permissions -rw-r--r--
scripts: create the makeinfo wrapper before we set PATH

If we set PATH to the tools wrappers before we create the
makeinfo wrapper, then we may well wrap an existing wrapper
from a previous run.

Signed-off-by: "Yann E. MORIN" <yann.morin.1998@anciens.enib.fr>
     1 # Build script for make
     2 
     3 CT_MAKE_VERSION=3.81
     4 
     5 do_companion_tools_make_get() {
     6     CT_GetFile "make-${CT_MAKE_VERSION}" \
     7                {http,ftp}://ftp.gnu.org/gnu/make
     8 }
     9 
    10 do_companion_tools_make_extract() {
    11     CT_Extract "make-${CT_MAKE_VERSION}"
    12     CT_Patch "make" "${CT_MAKE_VERSION}"
    13 }
    14 
    15 do_companion_tools_make_build() {
    16     CT_DoStep EXTRA "Installing make"
    17     mkdir -p "${CT_BUILD_DIR}/build-make"
    18     CT_Pushd "${CT_BUILD_DIR}/build-make"
    19 
    20     CT_DoExecLog CFG "${CT_SRC_DIR}/make-${CT_MAKE_VERSION}/configure" \
    21                      --prefix="${CT_TOOLS_OVERIDE_DIR}"
    22     CT_DoExecLog ALL make
    23     CT_DoExecLog ALL make install
    24     CT_Popd
    25     CT_EndStep
    26 }