# 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