changeset 1520 | e156ab9c7370 |
parent 1397 | 593fb5054810 |
child 1530 | fafe0dd00c66 |
1.1 --- a/scripts/build/companion_libs/cloog.sh Mon Jun 01 15:53:42 2009 +0000 1.2 +++ b/scripts/build/companion_libs/cloog.sh Mon Sep 07 18:55:11 2009 +0200 1.3 @@ -39,8 +39,8 @@ 1.4 --prefix="${CT_PREFIX_DIR}" \ 1.5 --with-gmp="${CT_PREFIX_DIR}" \ 1.6 --with-ppl="${CT_PREFIX_DIR}" \ 1.7 - --disable-shared \ 1.8 - --enable-static \ 1.9 + --enable-shared \ 1.10 + --disable-static \ 1.11 --with-bits=gmp 1.12 1.13 CT_DoLog EXTRA "Building CLooG/ppl"