# This file adds the functions to build the CLooG library

# Copyright 2009 Yann E. MORIN

# Licensed under the GPL v2. See COPYING in the root of this package

do_cloog_get() { :; }

do_cloog_extract() { :; }

do_cloog() { :; }

do_cloog_target() { :; }

# Overide functions depending on configuration

if [ "${CT_PPL_CLOOG_MPC}" = "y" ]; then

# Download CLooG

do_cloog_get() {

    CT_GetFile "cloog-ppl-${CT_CLOOG_VERSION}"  \

        ftp://gcc.gnu.org/pub/gcc/infrastructure

}

# Extract CLooG

do_cloog_extract() {

    CT_Extract "cloog-ppl-${CT_CLOOG_VERSION}"

    CT_Pushd "${CT_SRC_DIR}/cloog-ppl"

    CT_Patch "cloog-ppl-${CT_CLOOG_VERSION}" nochdir

    CT_Popd

}

do_cloog() {

    mkdir -p "${CT_BUILD_DIR}/build-cloog-ppl"

    cd "${CT_BUILD_DIR}/build-cloog-ppl"

    CT_DoStep INFO "Installing CLooG/ppl"

    CT_DoLog EXTRA "Configuring CLooG/ppl"

    CFLAGS="${CT_CFLAGS_FOR_HOST}"      \

    CT_DoExecLog ALL                    \

    "${CT_SRC_DIR}/cloog-ppl/configure" \

        --build=${CT_BUILD}             \

        --host=${CT_HOST}               \

        --prefix="${CT_PREFIX_DIR}"     \

        --with-gmp="${CT_PREFIX_DIR}"   \

        --with-ppl="${CT_PREFIX_DIR}"   \

        --enable-shared                 \

        --disable-static                \

        --with-bits=gmp

    CT_DoLog EXTRA "Building CLooG/ppl"

    CT_DoExecLog ALL make ${PARALLELMFLAGS}

    if [ "${CT_COMP_LIBS_CHECK}" = "y" ]; then

        CT_DoLog EXTRA "Checking CLooG/ppl"

        CT_DoExecLog ALL make ${PARALLELMFLAGS} -s check

    fi

    CT_DoLog EXTRA "Installing CLooG/ppl"

    CT_DoExecLog ALL make install

    # Remove spuriously installed file

    CT_DoExecLog ALL rm -f "${CT_PREFIX_DIR}/bin/cloog"

    CT_EndStep

}

fi # CT_PPL_CLOOG_MPC