diff -r 8a72662f0815 -r 1c68438f44f7 scripts/build/companion_libs/120-ppl.sh
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/scripts/build/companion_libs/120-ppl.sh	Fri Nov 16 14:59:27 2012 +0100
@@ -0,0 +1,119 @@
+# 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_for_build() { :; }
+do_ppl_for_host() { :; }
+
+# Overide functions depending on configuration
+if [ "${CT_PPL}" = "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}"
+}
+
+# Build PPL for running on build
+# - always build statically
+# - we do not have build-specific CFLAGS
+# - install in build-tools prefix
+do_ppl_for_build() {
+    local -a ppl_opts
+
+    case "${CT_TOOLCHAIN_TYPE}" in
+        native|cross)   return 0;;
+    esac
+
+    CT_DoStep INFO "Installing PPL for build"
+    CT_mkdir_pushd "${CT_BUILD_DIR}/build-ppl-build-${CT_BUILD}"
+
+    ppl_opts+=( "host=${CT_BUILD}" )
+    ppl_opts+=( "prefix=${CT_BUILDTOOLS_PREFIX_DIR}" )
+    do_ppl_backend "${ppl_opts[@]}"
+
+    CT_Popd
+    CT_EndStep
+}
+
+# Build PPL for running on host
+do_ppl_for_host() {
+    local -a ppl_opts
+
+    CT_DoStep INFO "Installing PPL for host"
+    CT_mkdir_pushd "${CT_BUILD_DIR}/build-ppl-host-${CT_HOST}"
+
+    ppl_opts+=( "host=${CT_HOST}" )
+    ppl_opts+=( "prefix=${CT_HOST_COMPLIBS_DIR}" )
+    ppl_opts+=( "cflags=${CT_CFLAGS_FOR_HOST}" )
+    do_ppl_backend "${ppl_opts[@]}"
+
+    CT_Popd
+    CT_EndStep
+}
+
+# Build PPL
+#     Parameter     : description               : type      : default
+#     host          : machine to run on         : tuple     : (none)
+#     prefix        : prefix to install into    : dir       : (none)
+#     cflags        : host cflags to use        : string    : (empty)
+do_ppl_backend() {
+    local host
+    local prefix
+    local cflags
+    local arg
+
+    for arg in "$@"; do
+        eval "${arg// /\\ }"
+    done
+
+    CT_DoLog EXTRA "Configuring PPL"
+
+    CT_DoExecLog CFG                                \
+    CFLAGS="${cflags}"                              \
+    CXXFLAGS="${cflags}"                            \
+    "${CT_SRC_DIR}/ppl-${CT_PPL_VERSION}/configure" \
+        --build=${CT_BUILD}                         \
+        --host=${host}                              \
+        --prefix="${prefix}"                        \
+        --with-libgmp-prefix="${prefix}"            \
+        --with-libgmpxx-prefix="${prefix}"          \
+        --with-gmp-prefix="${prefix}"               \
+        --enable-watchdog                           \
+        --disable-debugging                         \
+        --disable-assertions                        \
+        --disable-ppl_lcdd                          \
+        --disable-ppl_lpsol                         \
+        --disable-shared                            \
+        --enable-interfaces='c c++'                 \
+        --enable-static
+
+    # Maybe-options:
+    # --enable-optimization=speed  or sspeed (yes, with 2 's')
+
+    CT_DoLog EXTRA "Building PPL"
+    CT_DoExecLog ALL make ${JOBSFLAGS}
+
+    if [ "${CT_COMPLIBS_CHECK}" = "y" ]; then
+        CT_DoLog EXTRA "Checking PPL"
+        CT_DoExecLog ALL make ${JOBSFLAGS} -s check
+    fi
+
+    CT_DoLog EXTRA "Installing PPL"
+    CT_DoExecLog ALL make install
+
+    # Remove spuriously installed file
+    CT_DoExecLog ALL rm -f "${prefix}/bin/ppl-config"
+}
+
+fi # CT_PPL