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@1324: do_ppl() { :; }
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@1324: do_ppl() {
yann@1892:     local -a ppl_opts
yann@1892: 
yann@1324:     mkdir -p "${CT_BUILD_DIR}/build-ppl"
yann@1324:     cd "${CT_BUILD_DIR}/build-ppl"
yann@1324: 
yann@1324:     CT_DoStep INFO "Installing PPL"
yann@1324: 
yann@1324:     CT_DoLog EXTRA "Configuring PPL"
yann@1892: 
yann@1892:     if [ "${CT_COMPLIBS_SHARED}" = "y" ]; then
yann@1892:         ppl_opts+=( --enable-shared --disable-static )
yann@1892:     else
yann@1892:         ppl_opts+=( --disable-shared --enable-static )
yann@1892:     fi
yann@1892: 
yann@1379:     CFLAGS="${CT_CFLAGS_FOR_HOST}"                  \
yann@1379:     CXXFLAGS="${CT_CFLAGS_FOR_HOST}"                \
anthony@2154:     CT_DoExecLog CFG                                \
yann@1324:     "${CT_SRC_DIR}/ppl-${CT_PPL_VERSION}/configure" \
yann@1324:         --build=${CT_BUILD}                         \
yann@1324:         --host=${CT_HOST}                           \
yann@1893:         --prefix="${CT_COMPLIBS_DIR}"               \
yann@1893:         --with-libgmp-prefix="${CT_COMPLIBS_DIR}"   \
yann@1893:         --with-libgmpxx-prefix="${CT_COMPLIBS_DIR}" \
yann@1324:         --disable-debugging                         \
yann@1324:         --disable-assertions                        \
yann@1324:         --disable-ppl_lcdd                          \
yann@1892:         --disable-ppl_lpsol                         \
yann@1892:         "${ppl_opts[@]}"
yann@1324: 
yann@1324:     # Maybe-options:
yann@1324:     # --enable-interfaces=...
yann@1324:     # --enable-optimization=speed  or sspeed (yes, with 2 's')
yann@1324: 
yann@1324:     CT_DoLog EXTRA "Building PPL"
yann@1324:     CT_DoExecLog ALL make ${PARALLELMFLAGS}
yann@1324: 
yann@1890:     if [ "${CT_COMPLIBS_CHECK}" = "y" ]; then
yann@1324:         CT_DoLog EXTRA "Checking PPL"
yann@1324:         CT_DoExecLog ALL make ${PARALLELMFLAGS} -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@1397:     CT_DoExecLog ALL rm -f "${CT_PREFIX_DIR}/bin/ppl-config"
yann@1397: 
yann@1324:     CT_EndStep
yann@1324: }
yann@1324: 
yann@1808: fi # CT_PPL