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: do_ppl_target() { :; }
yann@1324: 
yann@1324: # Overide functions depending on configuration
yann@1384: if [ "${CT_PPL_CLOOG_MPC}" = "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@1324:     CT_Patch "ppl-${CT_PPL_VERSION}"
yann@1324: }
yann@1324: 
yann@1324: do_ppl() {
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@1379:     CFLAGS="${CT_CFLAGS_FOR_HOST}"                  \
yann@1379:     CXXFLAGS="${CT_CFLAGS_FOR_HOST}"                \
yann@1324:     CT_DoExecLog ALL                                \
yann@1324:     "${CT_SRC_DIR}/ppl-${CT_PPL_VERSION}/configure" \
yann@1324:         --build=${CT_BUILD}                         \
yann@1324:         --host=${CT_HOST}                           \
yann@1324:         --prefix="${CT_PREFIX_DIR}"                 \
yann@1324:         --with-libgmp-prefix="${CT_PREFIX_DIR}"     \
yann@1324:         --with-libgmpxx-prefix="${CT_PREFIX_DIR}"   \
yann@1377:         --enable-shared                             \
yann@1377:         --disable-static                            \
yann@1324:         --disable-debugging                         \
yann@1324:         --disable-assertions                        \
yann@1324:         --disable-ppl_lcdd                          \
yann@1324:         --disable-ppl_lpsol
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@1386:     if [ "${CT_COMP_LIBS_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@1384: fi # CT_PPL_CLOOG_MPC