scripts/build/companion_tools/050-make.sh
author "Yann E. MORIN" <yann.morin.1998@free.fr>
Mon May 26 23:25:17 2014 +0200 (2014-05-26)
changeset 3324 1eea25c0bfe7
parent 2309 2e0f0757289d
permissions -rw-r--r--
complibs/cloog: remove old CLooG/PPL versions

Those versions are no longer available upstream. They have purely and
simply disapeared, without leaving any trace of their mere existences.

Just keep the latest cloog-ppl-0.15.11, which still exists on the gcc
infra mirror (but for how long?)

Reported-by: Guillaume FLORENCE-COURTAND <gflorenc@laposte.net>
Signed-off-by: "Yann E. MORIN" <yann.morin.1998@free.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_DoExecLog ALL chmod -R u+w "${CT_SRC_DIR}/make-${CT_MAKE_VERSION}"
    13     CT_Patch "make" "${CT_MAKE_VERSION}"
    14 }
    15 
    16 do_companion_tools_make_build() {
    17     CT_DoStep EXTRA "Installing make"
    18     mkdir -p "${CT_BUILD_DIR}/build-make"
    19     CT_Pushd "${CT_BUILD_DIR}/build-make"
    20 
    21     CT_DoExecLog CFG "${CT_SRC_DIR}/make-${CT_MAKE_VERSION}/configure" \
    22                      --prefix="${CT_BUILDTOOLS_PREFIX_DIR}"
    23     CT_DoExecLog ALL make
    24     CT_DoExecLog ALL make install
    25     CT_Popd
    26     CT_EndStep
    27 }