yann@1324: # This file adds the functions to build the PPL library
yann@1324: # Copyright 2009 Yann E. MORIN
yann@1324: # Licensed under the GPL v2. See COPYING in the root of this package
yann@1324: 
yann@1324: do_ppl_get() { :; }
yann@1324: do_ppl_extract() { :; }
yann@2929: do_ppl_for_build() { :; }
yann@2927: do_ppl_for_host() { :; }
yann@1324: 
yann@1324: # Overide functions depending on configuration
yann@1808: if [ "${CT_PPL}" = "y" ]; then
yann@1324: 
yann@1324: # Download PPL
yann@1324: do_ppl_get() {
yann@1324:     CT_GetFile "ppl-${CT_PPL_VERSION}"                                      \
yann@1324:         http://www.cs.unipr.it/ppl/Download/ftp/releases/${CT_PPL_VERSION}  \
yann@1369:         ftp://ftp.cs.unipr.it/pub/ppl/releases/${CT_PPL_VERSION}            \
yann@1369:         ftp://gcc.gnu.org/pub/gcc/infrastructure
yann@1324: }
yann@1324: 
yann@1324: # Extract PPL
yann@1324: do_ppl_extract() {
yann@1324:     CT_Extract "ppl-${CT_PPL_VERSION}"
yann@1901:     CT_Patch "ppl" "${CT_PPL_VERSION}"
yann@1324: }
yann@1324: 
yann@2929: # Build PPL for running on build
yann@2929: # - always build statically
yann@2929: # - we do not have build-specific CFLAGS
yann@2929: # - install in build-tools prefix
yann@2929: do_ppl_for_build() {
yann@2929:     local -a ppl_opts
yann@2929: 
yann@2929:     case "${CT_TOOLCHAIN_TYPE}" in
yann@2929:         native|cross)   return 0;;
yann@2929:     esac
yann@2929: 
yann@2929:     CT_DoStep INFO "Installing PPL for build"
yann@2929:     CT_mkdir_pushd "${CT_BUILD_DIR}/build-ppl-build-${CT_BUILD}"
yann@2929: 
yann@2929:     ppl_opts+=( "host=${CT_BUILD}" )
yann@2929:     ppl_opts+=( "prefix=${CT_BUILDTOOLS_PREFIX_DIR}" )
yann@2929:     do_ppl_backend "${ppl_opts[@]}"
yann@2929: 
yann@2929:     CT_Popd
yann@2929:     CT_EndStep
yann@2929: }
yann@2929: 
yann@2927: # Build PPL for running on host
yann@2927: do_ppl_for_host() {
yann@2927:     local -a ppl_opts
yann@1324: 
yann@2927:     CT_DoStep INFO "Installing PPL for host"
yann@2927:     CT_mkdir_pushd "${CT_BUILD_DIR}/build-ppl-host-${CT_HOST}"
yann@2927: 
yann@2927:     ppl_opts+=( "host=${CT_HOST}" )
yann@2927:     ppl_opts+=( "prefix=${CT_COMPLIBS_DIR}" )
yann@2927:     ppl_opts+=( "cflags=${CT_CFLAGS_FOR_HOST}" )
yann@2927:     do_ppl_backend "${ppl_opts[@]}"
yann@2927: 
yann@2927:     CT_Popd
yann@2927:     CT_EndStep
yann@2927: }
yann@2927: 
yann@2927: # Build PPL
yann@2927: #     Parameter     : description               : type      : default
yann@2927: #     host          : machine to run on         : tuple     : (none)
yann@2927: #     prefix        : prefix to install into    : dir       : (none)
yann@2927: #     cflags        : host cflags to use        : string    : (empty)
yann@2927: do_ppl_backend() {
yann@2927:     local host
yann@2927:     local prefix
yann@2927:     local cflags
yann@2927:     local arg
yann@2927: 
yann@2927:     for arg in "$@"; do
yann@2927:         eval "${arg// /\\ }"
yann@2927:     done
yann@1324: 
yann@1324:     CT_DoLog EXTRA "Configuring PPL"
yann@1892: 
yann@2348:     CT_DoExecLog CFG                                \
yann@2927:     CFLAGS="${cflags}"                              \
yann@2927:     CXXFLAGS="${cflags}"                            \
yann@1324:     "${CT_SRC_DIR}/ppl-${CT_PPL_VERSION}/configure" \
yann@1324:         --build=${CT_BUILD}                         \
yann@2927:         --host=${host}                              \
yann@2927:         --prefix="${prefix}"                        \
yann@2927:         --with-libgmp-prefix="${prefix}"            \
yann@2927:         --with-libgmpxx-prefix="${prefix}"          \
yann@2927:         --with-gmp-prefix="${prefix}"               \
yann@2364:         --enable-watchdog                           \
yann@1324:         --disable-debugging                         \
yann@1324:         --disable-assertions                        \
yann@1324:         --disable-ppl_lcdd                          \
yann@1892:         --disable-ppl_lpsol                         \
yann@2381:         --disable-shared                            \
anthony@2461:         --enable-interfaces='c c++'                 \
yann@2381:         --enable-static
yann@1324: 
yann@1324:     # Maybe-options:
yann@1324:     # --enable-optimization=speed  or sspeed (yes, with 2 's')
yann@1324: 
yann@1324:     CT_DoLog EXTRA "Building PPL"
yann@2275:     CT_DoExecLog ALL make ${JOBSFLAGS}
yann@1324: 
yann@1890:     if [ "${CT_COMPLIBS_CHECK}" = "y" ]; then
yann@1324:         CT_DoLog EXTRA "Checking PPL"
yann@2275:         CT_DoExecLog ALL make ${JOBSFLAGS} -s check
yann@1324:     fi
yann@1324: 
yann@1324:     CT_DoLog EXTRA "Installing PPL"
yann@1324:     CT_DoExecLog ALL make install
yann@1324: 
yann@1397:     # Remove spuriously installed file
yann@2927:     CT_DoExecLog ALL rm -f "${prefix}/bin/ppl-config"
yann@1324: }
yann@1324: 
yann@1808: fi # CT_PPL