summaryrefslogtreecommitdiff
path: root/scripts/build/companion_libs/ppl.sh
diff options
context:
space:
mode:
authorYann E. MORIN" <yann.morin.1998@anciens.enib.fr>2010-04-10 21:43:08 (GMT)
committerYann E. MORIN" <yann.morin.1998@anciens.enib.fr>2010-04-10 21:43:08 (GMT)
commit5b663e2aae05cab9fb519a2faba66f85f11db161 (patch)
tree584e104adb8c4c0ac3917e68b8d12618e1f159d9 /scripts/build/companion_libs/ppl.sh
parent31fa64bc60ca6ac8cfd117f6e4f48dfe11abbfa1 (diff)
complibs: build static libraries
Diffstat (limited to 'scripts/build/companion_libs/ppl.sh')
-rw-r--r--scripts/build/companion_libs/ppl.sh4
1 files changed, 2 insertions, 2 deletions
diff --git a/scripts/build/companion_libs/ppl.sh b/scripts/build/companion_libs/ppl.sh
index 3b1a80f..4133269 100644
--- a/scripts/build/companion_libs/ppl.sh
+++ b/scripts/build/companion_libs/ppl.sh
@@ -40,8 +40,8 @@ do_ppl() {
--prefix="${CT_PREFIX_DIR}" \
--with-libgmp-prefix="${CT_PREFIX_DIR}" \
--with-libgmpxx-prefix="${CT_PREFIX_DIR}" \
- --enable-shared \
- --disable-static \
+ --disable-shared \
+ --enable-static \
--disable-debugging \
--disable-assertions \
--disable-ppl_lcdd \