mirror of
https://github.com/crosstool-ng/crosstool-ng.git
synced 2024-12-20 05:17:54 +00:00
f05ecb8360
- PPL, CLooG/PPL: remove uselessly installed files. -------- diffstat follows -------- /devel/gcc-4.4/scripts/build/companion_libs/ppl.sh | 3 3 0 0 +++ /devel/gcc-4.4/scripts/build/companion_libs/cloog.sh | 3 3 0 0 +++ 2 files changed, 6 insertions(+)
72 lines
2.2 KiB
Bash
72 lines
2.2 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_CLOOG_MPC}" = "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() {
|
|
mkdir -p "${CT_BUILD_DIR}/build-ppl"
|
|
cd "${CT_BUILD_DIR}/build-ppl"
|
|
|
|
CT_DoStep INFO "Installing PPL"
|
|
|
|
CT_DoLog EXTRA "Configuring PPL"
|
|
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_PREFIX_DIR}" \
|
|
--with-libgmp-prefix="${CT_PREFIX_DIR}" \
|
|
--with-libgmpxx-prefix="${CT_PREFIX_DIR}" \
|
|
--enable-shared \
|
|
--disable-static \
|
|
--disable-debugging \
|
|
--disable-assertions \
|
|
--disable-ppl_lcdd \
|
|
--disable-ppl_lpsol
|
|
|
|
# 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_COMP_LIBS_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_CLOOG_MPC
|