summaryrefslogtreecommitdiff
path: root/scripts/build/companion_libs/ppl.sh
blob: 0a48dbaabff0dcef0f9155cbe05acda247907c5f (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
# 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}" = "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_PPL_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

    CT_EndStep
}

fi # CT_PPL_CLOOG