author | "Yann E. MORIN" <yann.morin.1998@anciens.enib.fr> |
Tue May 12 06:07:41 2009 +0000 (2009-05-12) | |
changeset 1335 | 4a5540d3a301 |
child 1369 | 4a5ef2b08e81 |
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@1324 | 11 |
if [ "${CT_PPL_CLOOG}" = "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@1324 | 17 |
ftp://ftp.cs.unipr.it/pub/ppl/releases/${CT_PPL_VERSION} |
yann@1324 | 18 |
} |
yann@1324 | 19 |
|
yann@1324 | 20 |
# Extract PPL |
yann@1324 | 21 |
do_ppl_extract() { |
yann@1324 | 22 |
CT_Extract "ppl-${CT_PPL_VERSION}" |
yann@1324 | 23 |
CT_Patch "ppl-${CT_PPL_VERSION}" |
yann@1324 | 24 |
} |
yann@1324 | 25 |
|
yann@1324 | 26 |
do_ppl() { |
yann@1324 | 27 |
mkdir -p "${CT_BUILD_DIR}/build-ppl" |
yann@1324 | 28 |
cd "${CT_BUILD_DIR}/build-ppl" |
yann@1324 | 29 |
|
yann@1324 | 30 |
CT_DoStep INFO "Installing PPL" |
yann@1324 | 31 |
|
yann@1324 | 32 |
CT_DoLog EXTRA "Configuring PPL" |
yann@1324 | 33 |
CFLAGS="${CT_CFLAGS_FOR_HOST}" \ |
yann@1324 | 34 |
CT_DoExecLog ALL \ |
yann@1324 | 35 |
"${CT_SRC_DIR}/ppl-${CT_PPL_VERSION}/configure" \ |
yann@1324 | 36 |
--build=${CT_BUILD} \ |
yann@1324 | 37 |
--host=${CT_HOST} \ |
yann@1324 | 38 |
--prefix="${CT_PREFIX_DIR}" \ |
yann@1324 | 39 |
--with-libgmp-prefix="${CT_PREFIX_DIR}" \ |
yann@1324 | 40 |
--with-libgmpxx-prefix="${CT_PREFIX_DIR}" \ |
yann@1324 | 41 |
--disable-shared \ |
yann@1324 | 42 |
--enable-static \ |
yann@1324 | 43 |
--disable-debugging \ |
yann@1324 | 44 |
--disable-assertions \ |
yann@1324 | 45 |
--disable-ppl_lcdd \ |
yann@1324 | 46 |
--disable-ppl_lpsol |
yann@1324 | 47 |
|
yann@1324 | 48 |
# Maybe-options: |
yann@1324 | 49 |
# --enable-interfaces=... |
yann@1324 | 50 |
# --enable-optimization=speed or sspeed (yes, with 2 's') |
yann@1324 | 51 |
|
yann@1324 | 52 |
CT_DoLog EXTRA "Building PPL" |
yann@1324 | 53 |
CT_DoExecLog ALL make ${PARALLELMFLAGS} |
yann@1324 | 54 |
|
yann@1324 | 55 |
if [ "${CT_PPL_CHECK}" = "y" ]; then |
yann@1324 | 56 |
CT_DoLog EXTRA "Checking PPL" |
yann@1324 | 57 |
CT_DoExecLog ALL make ${PARALLELMFLAGS} -s check |
yann@1324 | 58 |
fi |
yann@1324 | 59 |
|
yann@1324 | 60 |
CT_DoLog EXTRA "Installing PPL" |
yann@1324 | 61 |
CT_DoExecLog ALL make install |
yann@1324 | 62 |
|
yann@1324 | 63 |
CT_EndStep |
yann@1324 | 64 |
} |
yann@1324 | 65 |
|
yann@1324 | 66 |
fi # CT_PPL_CLOOG |