1.1 --- a/scripts/build/companion_libs/ppl.sh	Sat Apr 10 23:43:08 2010 +0200
     1.2 +++ b/scripts/build/companion_libs/ppl.sh	Sun Apr 11 00:47:23 2010 +0200
     1.3 @@ -25,12 +25,21 @@
     1.4  }
     1.5  
     1.6  do_ppl() {
     1.7 +    local -a ppl_opts
     1.8 +
     1.9      mkdir -p "${CT_BUILD_DIR}/build-ppl"
    1.10      cd "${CT_BUILD_DIR}/build-ppl"
    1.11  
    1.12      CT_DoStep INFO "Installing PPL"
    1.13  
    1.14      CT_DoLog EXTRA "Configuring PPL"
    1.15 +
    1.16 +    if [ "${CT_COMPLIBS_SHARED}" = "y" ]; then
    1.17 +        ppl_opts+=( --enable-shared --disable-static )
    1.18 +    else
    1.19 +        ppl_opts+=( --disable-shared --enable-static )
    1.20 +    fi
    1.21 +
    1.22      CFLAGS="${CT_CFLAGS_FOR_HOST}"                  \
    1.23      CXXFLAGS="${CT_CFLAGS_FOR_HOST}"                \
    1.24      CT_DoExecLog ALL                                \
    1.25 @@ -40,12 +49,11 @@
    1.26          --prefix="${CT_PREFIX_DIR}"                 \
    1.27          --with-libgmp-prefix="${CT_PREFIX_DIR}"     \
    1.28          --with-libgmpxx-prefix="${CT_PREFIX_DIR}"   \
    1.29 -        --disable-shared                            \
    1.30 -        --enable-static                             \
    1.31          --disable-debugging                         \
    1.32          --disable-assertions                        \
    1.33          --disable-ppl_lcdd                          \
    1.34 -        --disable-ppl_lpsol
    1.35 +        --disable-ppl_lpsol                         \
    1.36 +        "${ppl_opts[@]}"
    1.37  
    1.38      # Maybe-options:
    1.39      # --enable-interfaces=...