scripts/build/companion_libs/ppl.sh
changeset 1891 2f0de10c058d
parent 1890 39045a2f1163
child 1892 af092b4bf65c
     1.1 --- a/scripts/build/companion_libs/ppl.sh	Sat Apr 10 23:42:28 2010 +0200
     1.2 +++ b/scripts/build/companion_libs/ppl.sh	Sat Apr 10 23:43:08 2010 +0200
     1.3 @@ -40,8 +40,8 @@
     1.4          --prefix="${CT_PREFIX_DIR}"                 \
     1.5          --with-libgmp-prefix="${CT_PREFIX_DIR}"     \
     1.6          --with-libgmpxx-prefix="${CT_PREFIX_DIR}"   \
     1.7 -        --enable-shared                             \
     1.8 -        --disable-static                            \
     1.9 +        --disable-shared                            \
    1.10 +        --enable-static                             \
    1.11          --disable-debugging                         \
    1.12          --disable-assertions                        \
    1.13          --disable-ppl_lcdd                          \