# This file adds the functions to build the PPL library

# Copyright 2009 Yann E. MORIN

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

do_ppl_get() { :; }

do_ppl_extract() { :; }

do_ppl_for_host() { :; }

# Overide functions depending on configuration

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

# Download PPL

do_ppl_get() {

    CT_GetFile "ppl-${CT_PPL_VERSION}"                                      \

        http://www.cs.unipr.it/ppl/Download/ftp/releases/${CT_PPL_VERSION}  \

        ftp://ftp.cs.unipr.it/pub/ppl/releases/${CT_PPL_VERSION}            \

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

}

# Extract PPL

do_ppl_extract() {

    CT_Extract "ppl-${CT_PPL_VERSION}"

    CT_Patch "ppl" "${CT_PPL_VERSION}"

}

# Build PPL for running on host

do_ppl_for_host() {

    local -a ppl_opts

    CT_DoStep INFO "Installing PPL for host"

    CT_mkdir_pushd "${CT_BUILD_DIR}/build-ppl-host-${CT_HOST}"

    ppl_opts+=( "host=${CT_HOST}" )

    ppl_opts+=( "prefix=${CT_COMPLIBS_DIR}" )

    ppl_opts+=( "cflags=${CT_CFLAGS_FOR_HOST}" )

    do_ppl_backend "${ppl_opts[@]}"

    CT_Popd

    CT_EndStep

}

# Build PPL

#     Parameter     : description               : type      : default

#     host          : machine to run on         : tuple     : (none)

#     prefix        : prefix to install into    : dir       : (none)

#     cflags        : host cflags to use        : string    : (empty)

do_ppl_backend() {

    local host

    local prefix

    local cflags

    local arg

    for arg in "$@"; do

        eval "${arg// /\\ }"

    done

    CT_DoLog EXTRA "Configuring PPL"

    CT_DoExecLog CFG                                \

    CFLAGS="${cflags}"                              \

    CXXFLAGS="${cflags}"                            \

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

        --build=${CT_BUILD}                         \

        --host=${host}                              \

        --prefix="${prefix}"                        \

        --with-libgmp-prefix="${prefix}"            \

        --with-libgmpxx-prefix="${prefix}"          \

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

        --enable-watchdog                           \

        --disable-debugging                         \

        --disable-assertions                        \

        --disable-ppl_lcdd                          \

        --disable-ppl_lpsol                         \

        --disable-shared                            \

        --enable-interfaces='c c++'                 \

        --enable-static

    # Maybe-options:

    # --enable-optimization=speed  or sspeed (yes, with 2 's')

    CT_DoLog EXTRA "Building PPL"

    CT_DoExecLog ALL make ${JOBSFLAGS}

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

        CT_DoLog EXTRA "Checking PPL"

        CT_DoExecLog ALL make ${JOBSFLAGS} -s check

    fi

    CT_DoLog EXTRA "Installing PPL"

    CT_DoExecLog ALL make install

    # Remove spuriously installed file

    CT_DoExecLog ALL rm -f "${prefix}/bin/ppl-config"

}

fi # CT_PPL