diff -r 2f0de10c058d -r af092b4bf65c scripts/build/companion_libs/ppl.sh
--- a/scripts/build/companion_libs/ppl.sh	Sat Apr 10 23:43:08 2010 +0200
+++ b/scripts/build/companion_libs/ppl.sh	Sun Apr 11 00:47:23 2010 +0200
@@ -25,12 +25,21 @@
 }
 
 do_ppl() {
+    local -a ppl_opts
+
     mkdir -p "${CT_BUILD_DIR}/build-ppl"
     cd "${CT_BUILD_DIR}/build-ppl"
 
     CT_DoStep INFO "Installing PPL"
 
     CT_DoLog EXTRA "Configuring PPL"
+
+    if [ "${CT_COMPLIBS_SHARED}" = "y" ]; then
+        ppl_opts+=( --enable-shared --disable-static )
+    else
+        ppl_opts+=( --disable-shared --enable-static )
+    fi
+
     CFLAGS="${CT_CFLAGS_FOR_HOST}"                  \
     CXXFLAGS="${CT_CFLAGS_FOR_HOST}"                \
     CT_DoExecLog ALL                                \
@@ -40,12 +49,11 @@
         --prefix="${CT_PREFIX_DIR}"                 \
         --with-libgmp-prefix="${CT_PREFIX_DIR}"     \
         --with-libgmpxx-prefix="${CT_PREFIX_DIR}"   \
-        --disable-shared                            \
-        --enable-static                             \
         --disable-debugging                         \
         --disable-assertions                        \
         --disable-ppl_lcdd                          \
-        --disable-ppl_lpsol
+        --disable-ppl_lpsol                         \
+        "${ppl_opts[@]}"
 
     # Maybe-options:
     # --enable-interfaces=...