2009-05-05 22:04:20 +00:00
|
|
|
# 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() { :; }
|
|
|
|
|
|
|
|
# Overide functions depending on configuration
|
2010-02-17 22:47:47 +00:00
|
|
|
if [ "${CT_PPL}" = "y" ]; then
|
2009-05-05 22:04:20 +00:00
|
|
|
|
|
|
|
# Download PPL
|
|
|
|
do_ppl_get() {
|
|
|
|
CT_GetFile "ppl-${CT_PPL_VERSION}" \
|
|
|
|
http://www.cs.unipr.it/ppl/Download/ftp/releases/${CT_PPL_VERSION} \
|
2009-05-21 19:07:16 +00:00
|
|
|
ftp://ftp.cs.unipr.it/pub/ppl/releases/${CT_PPL_VERSION} \
|
|
|
|
ftp://gcc.gnu.org/pub/gcc/infrastructure
|
2009-05-05 22:04:20 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
# Extract PPL
|
|
|
|
do_ppl_extract() {
|
|
|
|
CT_Extract "ppl-${CT_PPL_VERSION}"
|
2010-04-11 21:18:10 +00:00
|
|
|
CT_Patch "ppl" "${CT_PPL_VERSION}"
|
2009-05-05 22:04:20 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
do_ppl() {
|
2010-04-10 22:47:23 +00:00
|
|
|
local -a ppl_opts
|
|
|
|
|
2009-05-05 22:04:20 +00:00
|
|
|
mkdir -p "${CT_BUILD_DIR}/build-ppl"
|
|
|
|
cd "${CT_BUILD_DIR}/build-ppl"
|
|
|
|
|
|
|
|
CT_DoStep INFO "Installing PPL"
|
|
|
|
|
|
|
|
CT_DoLog EXTRA "Configuring PPL"
|
2010-04-10 22:47:23 +00:00
|
|
|
|
|
|
|
if [ "${CT_COMPLIBS_SHARED}" = "y" ]; then
|
|
|
|
ppl_opts+=( --enable-shared --disable-static )
|
|
|
|
else
|
|
|
|
ppl_opts+=( --disable-shared --enable-static )
|
|
|
|
fi
|
|
|
|
|
2009-05-24 22:02:30 +00:00
|
|
|
CFLAGS="${CT_CFLAGS_FOR_HOST}" \
|
|
|
|
CXXFLAGS="${CT_CFLAGS_FOR_HOST}" \
|
2010-10-22 20:02:57 +00:00
|
|
|
CT_DoExecLog CFG \
|
2009-05-05 22:04:20 +00:00
|
|
|
"${CT_SRC_DIR}/ppl-${CT_PPL_VERSION}/configure" \
|
|
|
|
--build=${CT_BUILD} \
|
|
|
|
--host=${CT_HOST} \
|
2010-04-11 09:10:06 +00:00
|
|
|
--prefix="${CT_COMPLIBS_DIR}" \
|
|
|
|
--with-libgmp-prefix="${CT_COMPLIBS_DIR}" \
|
|
|
|
--with-libgmpxx-prefix="${CT_COMPLIBS_DIR}" \
|
2009-05-05 22:04:20 +00:00
|
|
|
--disable-debugging \
|
|
|
|
--disable-assertions \
|
|
|
|
--disable-ppl_lcdd \
|
2010-04-10 22:47:23 +00:00
|
|
|
--disable-ppl_lpsol \
|
|
|
|
"${ppl_opts[@]}"
|
2009-05-05 22:04:20 +00:00
|
|
|
|
|
|
|
# Maybe-options:
|
|
|
|
# --enable-interfaces=...
|
|
|
|
# --enable-optimization=speed or sspeed (yes, with 2 's')
|
|
|
|
|
|
|
|
CT_DoLog EXTRA "Building PPL"
|
|
|
|
CT_DoExecLog ALL make ${PARALLELMFLAGS}
|
|
|
|
|
2010-04-10 21:42:28 +00:00
|
|
|
if [ "${CT_COMPLIBS_CHECK}" = "y" ]; then
|
2009-05-05 22:04:20 +00:00
|
|
|
CT_DoLog EXTRA "Checking PPL"
|
|
|
|
CT_DoExecLog ALL make ${PARALLELMFLAGS} -s check
|
|
|
|
fi
|
|
|
|
|
|
|
|
CT_DoLog EXTRA "Installing PPL"
|
|
|
|
CT_DoExecLog ALL make install
|
|
|
|
|
2009-06-01 15:53:42 +00:00
|
|
|
# Remove spuriously installed file
|
|
|
|
CT_DoExecLog ALL rm -f "${CT_PREFIX_DIR}/bin/ppl-config"
|
|
|
|
|
2009-05-05 22:04:20 +00:00
|
|
|
CT_EndStep
|
|
|
|
}
|
|
|
|
|
2010-02-17 22:47:47 +00:00
|
|
|
fi # CT_PPL
|