scripts/build/companion_tools/200-autoconf.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>
     1 # Build script for autoconf
     2 
     3 CT_AUTOCONF_VERSION=2.65
     4 
     5 do_companion_tools_autoconf_get() {
     6     CT_GetFile "autoconf-${CT_AUTOCONF_VERSION}" \
     7                {ftp,http}://ftp.gnu.org/gnu/autoconf
     8 }
     9 
    10 do_companion_tools_autoconf_extract() {
    11     CT_Extract "autoconf-${CT_AUTOCONF_VERSION}"
    12     CT_DoExecLog ALL chmod -R u+w "${CT_SRC_DIR}/autoconf-${CT_AUTOCONF_VERSION}"
    13     CT_Patch "autoconf" "${CT_AUTOCONF_VERSION}"
    14 }
    15 
    16 do_companion_tools_autoconf_build() {
    17     CT_DoStep EXTRA "Installing autoconf"
    18     mkdir -p "${CT_BUILD_DIR}/build-autoconf"
    19     CT_Pushd "${CT_BUILD_DIR}/build-autoconf"
    20     
    21     # Ensure configure gets run using the CONFIG_SHELL as configure seems to
    22     # have trouble when CONFIG_SHELL is set and /bin/sh isn't bash
    23     # For reference see:
    24     # http://www.gnu.org/software/autoconf/manual/autoconf.html#CONFIG_005fSHELL
    25     
    26     CT_DoExecLog CFG ${CONFIG_SHELL} \
    27     "${CT_SRC_DIR}/autoconf-${CT_AUTOCONF_VERSION}/configure" \
    28         --prefix="${CT_BUILDTOOLS_PREFIX_DIR}"
    29     CT_DoExecLog ALL make
    30     CT_DoExecLog ALL make install
    31     CT_Popd
    32     CT_EndStep
    33 }