scripts/build/companion_tools/050-make.sh
author "Yann E. MORIN" <yann.morin.1998@free.fr>
Sun May 05 00:01:05 2013 +0200 (2013-05-05)
changeset 3218 3709e61ad85b
parent 2309 2e0f0757289d
permissions -rw-r--r--
complibs/cloog: add support for the ISL backend

CLooG 0.18+ will use ISL instead of PPL, so we have to configure
adequately depending of which backend is in use.

The Kconfig entries will decide for us which is selected, so we
can rely on either PPL xor ISL to be selected, not both.

Reported-by: "Plotnikov Dmitry" <leitz@ispras.ru>
[Dmitry did a preliminray patch to add ISL support,
which this patch is inspired from]
Signed-off-by: "Yann E. MORIN" <yann.morin.1998@free.fr>
yann@2285
     1
# Build script for make
yann@2285
     2
yann@2285
     3
CT_MAKE_VERSION=3.81
yann@2285
     4
yann@2285
     5
do_companion_tools_make_get() {
yann@2285
     6
    CT_GetFile "make-${CT_MAKE_VERSION}" \
yann@2285
     7
               {http,ftp}://ftp.gnu.org/gnu/make
yann@2285
     8
}
yann@2285
     9
yann@2285
    10
do_companion_tools_make_extract() {
yann@2285
    11
    CT_Extract "make-${CT_MAKE_VERSION}"
yann@2328
    12
    CT_DoExecLog ALL chmod -R u+w "${CT_SRC_DIR}/make-${CT_MAKE_VERSION}"
yann@2285
    13
    CT_Patch "make" "${CT_MAKE_VERSION}"
yann@2285
    14
}
yann@2285
    15
yann@2285
    16
do_companion_tools_make_build() {
yann@2285
    17
    CT_DoStep EXTRA "Installing make"
yann@2285
    18
    mkdir -p "${CT_BUILD_DIR}/build-make"
yann@2285
    19
    CT_Pushd "${CT_BUILD_DIR}/build-make"
yann@2285
    20
yann@2285
    21
    CT_DoExecLog CFG "${CT_SRC_DIR}/make-${CT_MAKE_VERSION}/configure" \
yann@2309
    22
                     --prefix="${CT_BUILDTOOLS_PREFIX_DIR}"
yann@2285
    23
    CT_DoExecLog ALL make
yann@2285
    24
    CT_DoExecLog ALL make install
yann@2285
    25
    CT_Popd
yann@2285
    26
    CT_EndStep
yann@2285
    27
}