scripts/build/companion_libs/ppl.sh
changeset 2461 ec30b191f0e3
parent 2460 132c00ad3d6e
child 2927 ddaae597fd7c
     1.1 --- a/scripts/build/companion_libs/ppl.sh	Thu May 19 23:05:58 2011 +0200
     1.2 +++ b/scripts/build/companion_libs/ppl.sh	Thu May 19 23:06:16 2011 +0200
     1.3 @@ -48,10 +48,10 @@
     1.4          --disable-ppl_lcdd                          \
     1.5          --disable-ppl_lpsol                         \
     1.6          --disable-shared                            \
     1.7 +        --enable-interfaces='c c++'                 \
     1.8          --enable-static
     1.9  
    1.10      # Maybe-options:
    1.11 -    # --enable-interfaces=...
    1.12      # --enable-optimization=speed  or sspeed (yes, with 2 's')
    1.13  
    1.14      CT_DoLog EXTRA "Building PPL"