mirror of
https://github.com/crosstool-ng/crosstool-ng.git
synced 2024-12-24 06:56:40 +00:00
80 lines
2.3 KiB
Bash
80 lines
2.3 KiB
Bash
# 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() { :; }
|
|
do_ppl_target() { :; }
|
|
|
|
# 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}"
|
|
}
|
|
|
|
do_ppl() {
|
|
local -a ppl_opts
|
|
|
|
mkdir -p "${CT_BUILD_DIR}/build-ppl"
|
|
cd "${CT_BUILD_DIR}/build-ppl"
|
|
|
|
CT_DoStep INFO "Installing PPL"
|
|
|
|
CT_DoLog EXTRA "Configuring PPL"
|
|
|
|
if [ "${CT_COMPLIBS_SHARED}" = "y" ]; then
|
|
ppl_opts+=( --enable-shared --disable-static )
|
|
else
|
|
ppl_opts+=( --disable-shared --enable-static )
|
|
fi
|
|
|
|
CFLAGS="${CT_CFLAGS_FOR_HOST}" \
|
|
CXXFLAGS="${CT_CFLAGS_FOR_HOST}" \
|
|
CT_DoExecLog ALL \
|
|
"${CT_SRC_DIR}/ppl-${CT_PPL_VERSION}/configure" \
|
|
--build=${CT_BUILD} \
|
|
--host=${CT_HOST} \
|
|
--prefix="${CT_COMPLIBS_DIR}" \
|
|
--with-libgmp-prefix="${CT_COMPLIBS_DIR}" \
|
|
--with-libgmpxx-prefix="${CT_COMPLIBS_DIR}" \
|
|
--disable-debugging \
|
|
--disable-assertions \
|
|
--disable-ppl_lcdd \
|
|
--disable-ppl_lpsol \
|
|
"${ppl_opts[@]}"
|
|
|
|
# Maybe-options:
|
|
# --enable-interfaces=...
|
|
# --enable-optimization=speed or sspeed (yes, with 2 's')
|
|
|
|
CT_DoLog EXTRA "Building PPL"
|
|
CT_DoExecLog ALL make ${PARALLELMFLAGS}
|
|
|
|
if [ "${CT_COMPLIBS_CHECK}" = "y" ]; then
|
|
CT_DoLog EXTRA "Checking PPL"
|
|
CT_DoExecLog ALL make ${PARALLELMFLAGS} -s check
|
|
fi
|
|
|
|
CT_DoLog EXTRA "Installing PPL"
|
|
CT_DoExecLog ALL make install
|
|
|
|
# Remove spuriously installed file
|
|
CT_DoExecLog ALL rm -f "${CT_PREFIX_DIR}/bin/ppl-config"
|
|
|
|
CT_EndStep
|
|
}
|
|
|
|
fi # CT_PPL
|