scripts/build/companion_libs/ppl.sh
author Anthony Foiani <anthony.foiani@gmail.com>
Fri Oct 22 22:02:57 2010 +0200 (2010-10-22)
changeset 2154 250cdcc86441
parent 2099 1bb063c8a0ca
child 2275 9ab4392430ad
permissions -rw-r--r--
scripts: add "FILE" and "CFG" debug levels.

I ran into some minor difficulties looking through the build log for a
particular file: I wasn't interested in seeing it unpacked, but only
when it is built or installed. Adding these two levels allows me to
differentiate between those cases.

[Yann E. MORIN: Those are blind log levels, and are used only to search
in the build-log afterward.]

Signed-off-by: Anthony Foiani <anthony.foiani@gmail.com>
     1 # This file adds the functions to build the PPL library
     2 # Copyright 2009 Yann E. MORIN
     3 # Licensed under the GPL v2. See COPYING in the root of this package
     4 
     5 do_ppl_get() { :; }
     6 do_ppl_extract() { :; }
     7 do_ppl() { :; }
     8 
     9 # Overide functions depending on configuration
    10 if [ "${CT_PPL}" = "y" ]; then
    11 
    12 # Download PPL
    13 do_ppl_get() {
    14     CT_GetFile "ppl-${CT_PPL_VERSION}"                                      \
    15         http://www.cs.unipr.it/ppl/Download/ftp/releases/${CT_PPL_VERSION}  \
    16         ftp://ftp.cs.unipr.it/pub/ppl/releases/${CT_PPL_VERSION}            \
    17         ftp://gcc.gnu.org/pub/gcc/infrastructure
    18 }
    19 
    20 # Extract PPL
    21 do_ppl_extract() {
    22     CT_Extract "ppl-${CT_PPL_VERSION}"
    23     CT_Patch "ppl" "${CT_PPL_VERSION}"
    24 }
    25 
    26 do_ppl() {
    27     local -a ppl_opts
    28 
    29     mkdir -p "${CT_BUILD_DIR}/build-ppl"
    30     cd "${CT_BUILD_DIR}/build-ppl"
    31 
    32     CT_DoStep INFO "Installing PPL"
    33 
    34     CT_DoLog EXTRA "Configuring PPL"
    35 
    36     if [ "${CT_COMPLIBS_SHARED}" = "y" ]; then
    37         ppl_opts+=( --enable-shared --disable-static )
    38     else
    39         ppl_opts+=( --disable-shared --enable-static )
    40     fi
    41 
    42     CFLAGS="${CT_CFLAGS_FOR_HOST}"                  \
    43     CXXFLAGS="${CT_CFLAGS_FOR_HOST}"                \
    44     CT_DoExecLog CFG                                \
    45     "${CT_SRC_DIR}/ppl-${CT_PPL_VERSION}/configure" \
    46         --build=${CT_BUILD}                         \
    47         --host=${CT_HOST}                           \
    48         --prefix="${CT_COMPLIBS_DIR}"               \
    49         --with-libgmp-prefix="${CT_COMPLIBS_DIR}"   \
    50         --with-libgmpxx-prefix="${CT_COMPLIBS_DIR}" \
    51         --disable-debugging                         \
    52         --disable-assertions                        \
    53         --disable-ppl_lcdd                          \
    54         --disable-ppl_lpsol                         \
    55         "${ppl_opts[@]}"
    56 
    57     # Maybe-options:
    58     # --enable-interfaces=...
    59     # --enable-optimization=speed  or sspeed (yes, with 2 's')
    60 
    61     CT_DoLog EXTRA "Building PPL"
    62     CT_DoExecLog ALL make ${PARALLELMFLAGS}
    63 
    64     if [ "${CT_COMPLIBS_CHECK}" = "y" ]; then
    65         CT_DoLog EXTRA "Checking PPL"
    66         CT_DoExecLog ALL make ${PARALLELMFLAGS} -s check
    67     fi
    68 
    69     CT_DoLog EXTRA "Installing PPL"
    70     CT_DoExecLog ALL make install
    71 
    72     # Remove spuriously installed file
    73     CT_DoExecLog ALL rm -f "${CT_PREFIX_DIR}/bin/ppl-config"
    74 
    75     CT_EndStep
    76 }
    77 
    78 fi # CT_PPL