scripts/build/companion_libs/ppl.sh
changeset 1893 f5dab3c43abf
parent 1892 af092b4bf65c
child 1901 bdb3a98e064b
     1.1 --- a/scripts/build/companion_libs/ppl.sh	Sun Apr 11 00:47:23 2010 +0200
     1.2 +++ b/scripts/build/companion_libs/ppl.sh	Sun Apr 11 11:10:06 2010 +0200
     1.3 @@ -46,9 +46,9 @@
     1.4      "${CT_SRC_DIR}/ppl-${CT_PPL_VERSION}/configure" \
     1.5          --build=${CT_BUILD}                         \
     1.6          --host=${CT_HOST}                           \
     1.7 -        --prefix="${CT_PREFIX_DIR}"                 \
     1.8 -        --with-libgmp-prefix="${CT_PREFIX_DIR}"     \
     1.9 -        --with-libgmpxx-prefix="${CT_PREFIX_DIR}"   \
    1.10 +        --prefix="${CT_COMPLIBS_DIR}"               \
    1.11 +        --with-libgmp-prefix="${CT_COMPLIBS_DIR}"   \
    1.12 +        --with-libgmpxx-prefix="${CT_COMPLIBS_DIR}" \
    1.13          --disable-debugging                         \
    1.14          --disable-assertions                        \
    1.15          --disable-ppl_lcdd                          \