| author | "Yann E. MORIN" <yann.morin.1998@anciens.enib.fr> |
| Wed May 27 21:16:01 2009 +0000 (2009-05-27) | |
| branch | gcc-4.4 |
| changeset 1393 | b432bd628b10 |
| parent 1384 | b23f3c2e0c73 |
| child 1397 | 593fb5054810 |
| permissions | -rw-r--r-- |
| yann@1324 | 1 |
# This file adds the functions to build the PPL library |
| yann@1324 | 2 |
# Copyright 2009 Yann E. MORIN |
| yann@1324 | 3 |
# Licensed under the GPL v2. See COPYING in the root of this package |
| yann@1324 | 4 |
|
| yann@1324 | 5 |
do_ppl_get() { :; }
|
| yann@1324 | 6 |
do_ppl_extract() { :; }
|
| yann@1324 | 7 |
do_ppl() { :; }
|
| yann@1324 | 8 |
do_ppl_target() { :; }
|
| yann@1324 | 9 |
|
| yann@1324 | 10 |
# Overide functions depending on configuration |
| yann@1384 | 11 |
if [ "${CT_PPL_CLOOG_MPC}" = "y" ]; then
|
| yann@1324 | 12 |
|
| yann@1324 | 13 |
# Download PPL |
| yann@1324 | 14 |
do_ppl_get() {
|
| yann@1324 | 15 |
CT_GetFile "ppl-${CT_PPL_VERSION}" \
|
| yann@1324 | 16 |
http://www.cs.unipr.it/ppl/Download/ftp/releases/${CT_PPL_VERSION} \
|
| yann@1369 | 17 |
ftp://ftp.cs.unipr.it/pub/ppl/releases/${CT_PPL_VERSION} \
|
| yann@1369 | 18 |
ftp://gcc.gnu.org/pub/gcc/infrastructure |
| yann@1324 | 19 |
} |
| yann@1324 | 20 |
|
| yann@1324 | 21 |
# Extract PPL |
| yann@1324 | 22 |
do_ppl_extract() {
|
| yann@1324 | 23 |
CT_Extract "ppl-${CT_PPL_VERSION}"
|
| yann@1324 | 24 |
CT_Patch "ppl-${CT_PPL_VERSION}"
|
| yann@1324 | 25 |
} |
| yann@1324 | 26 |
|
| yann@1324 | 27 |
do_ppl() {
|
| yann@1324 | 28 |
mkdir -p "${CT_BUILD_DIR}/build-ppl"
|
| yann@1324 | 29 |
cd "${CT_BUILD_DIR}/build-ppl"
|
| yann@1324 | 30 |
|
| yann@1324 | 31 |
CT_DoStep INFO "Installing PPL" |
| yann@1324 | 32 |
|
| yann@1324 | 33 |
CT_DoLog EXTRA "Configuring PPL" |
| yann@1379 | 34 |
CFLAGS="${CT_CFLAGS_FOR_HOST}" \
|
| yann@1379 | 35 |
CXXFLAGS="${CT_CFLAGS_FOR_HOST}" \
|
| yann@1324 | 36 |
CT_DoExecLog ALL \ |
| yann@1324 | 37 |
"${CT_SRC_DIR}/ppl-${CT_PPL_VERSION}/configure" \
|
| yann@1324 | 38 |
--build=${CT_BUILD} \
|
| yann@1324 | 39 |
--host=${CT_HOST} \
|
| yann@1324 | 40 |
--prefix="${CT_PREFIX_DIR}" \
|
| yann@1324 | 41 |
--with-libgmp-prefix="${CT_PREFIX_DIR}" \
|
| yann@1324 | 42 |
--with-libgmpxx-prefix="${CT_PREFIX_DIR}" \
|
| yann@1377 | 43 |
--enable-shared \ |
| yann@1377 | 44 |
--disable-static \ |
| yann@1324 | 45 |
--disable-debugging \ |
| yann@1324 | 46 |
--disable-assertions \ |
| yann@1324 | 47 |
--disable-ppl_lcdd \ |
| yann@1324 | 48 |
--disable-ppl_lpsol |
| yann@1324 | 49 |
|
| yann@1324 | 50 |
# Maybe-options: |
| yann@1324 | 51 |
# --enable-interfaces=... |
| yann@1324 | 52 |
# --enable-optimization=speed or sspeed (yes, with 2 's') |
| yann@1324 | 53 |
|
| yann@1324 | 54 |
CT_DoLog EXTRA "Building PPL" |
| yann@1324 | 55 |
CT_DoExecLog ALL make ${PARALLELMFLAGS}
|
| yann@1324 | 56 |
|
| yann@1386 | 57 |
if [ "${CT_COMP_LIBS_CHECK}" = "y" ]; then
|
| yann@1324 | 58 |
CT_DoLog EXTRA "Checking PPL" |
| yann@1324 | 59 |
CT_DoExecLog ALL make ${PARALLELMFLAGS} -s check
|
| yann@1324 | 60 |
fi |
| yann@1324 | 61 |
|
| yann@1324 | 62 |
CT_DoLog EXTRA "Installing PPL" |
| yann@1324 | 63 |
CT_DoExecLog ALL make install |
| yann@1324 | 64 |
|
| yann@1324 | 65 |
CT_EndStep |
| yann@1324 | 66 |
} |
| yann@1324 | 67 |
|
| yann@1384 | 68 |
fi # CT_PPL_CLOOG_MPC |