scripts/build/companion_libs/cloog.sh
changeset 1891 2f0de10c058d
parent 1890 39045a2f1163
child 1892 af092b4bf65c
     1.1 --- a/scripts/build/companion_libs/cloog.sh	Sat Apr 10 23:42:28 2010 +0200
     1.2 +++ b/scripts/build/companion_libs/cloog.sh	Sat Apr 10 23:43:08 2010 +0200
     1.3 @@ -50,6 +50,7 @@
     1.4  
     1.5      CT_DoLog EXTRA "Configuring CLooG/ppl"
     1.6      CFLAGS="${CT_CFLAGS_FOR_HOST}"              \
     1.7 +    LDFLAGS='-lstdc++'                          \
     1.8      CT_DoExecLog ALL                            \
     1.9      "${CT_SRC_DIR}/cloog-ppl${_t}/configure"    \
    1.10          --build=${CT_BUILD}                     \
    1.11 @@ -57,8 +58,8 @@
    1.12          --prefix="${CT_PREFIX_DIR}"             \
    1.13          --with-gmp="${CT_PREFIX_DIR}"           \
    1.14          --with-ppl="${CT_PREFIX_DIR}"           \
    1.15 -        --enable-shared                         \
    1.16 -        --disable-static                        \
    1.17 +        --disable-shared                        \
    1.18 +        --enable-static                         \
    1.19          --with-bits=gmp
    1.20  
    1.21      CT_DoLog EXTRA "Building CLooG/ppl"