1.1 --- a/scripts/build/companion_libs/ppl.sh	Wed Apr 06 22:30:57 2011 +0200
     1.2 +++ b/scripts/build/companion_libs/ppl.sh	Thu May 19 23:05:32 2011 +0200
     1.3 @@ -41,6 +41,7 @@
     1.4          --prefix="${CT_COMPLIBS_DIR}"               \
     1.5          --with-libgmp-prefix="${CT_COMPLIBS_DIR}"   \
     1.6          --with-libgmpxx-prefix="${CT_COMPLIBS_DIR}" \
     1.7 +        --with-gmp-prefix="${CT_COMPLIBS_DIR}"      \
     1.8          --enable-cxx                                \
     1.9          --enable-watchdog                           \
    1.10          --disable-debugging                         \