scripts/build/companion_libs/ppl.sh
changeset 2381 0ca0f85a4b2a
parent 2364 13ea34c908fa
child 2459 4f0c4fb572e2
     1.1 --- a/scripts/build/companion_libs/ppl.sh	Sun Mar 27 00:07:59 2011 +0100
     1.2 +++ b/scripts/build/companion_libs/ppl.sh	Wed Apr 06 22:30:57 2011 +0200
     1.3 @@ -24,8 +24,6 @@
     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 @@ -33,11 +31,6 @@
    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      CT_DoExecLog CFG                                \
    1.23      CFLAGS="${CT_CFLAGS_FOR_HOST}"                  \
    1.24 @@ -54,7 +47,8 @@
    1.25          --disable-assertions                        \
    1.26          --disable-ppl_lcdd                          \
    1.27          --disable-ppl_lpsol                         \
    1.28 -        "${ppl_opts[@]}"
    1.29 +        --disable-shared                            \
    1.30 +        --enable-static
    1.31  
    1.32      # Maybe-options:
    1.33      # --enable-interfaces=...