diff -r af092b4bf65c -r f5dab3c43abf scripts/build/companion_libs/cloog.sh
--- a/scripts/build/companion_libs/cloog.sh	Sun Apr 11 00:47:23 2010 +0200
+++ b/scripts/build/companion_libs/cloog.sh	Sun Apr 11 11:10:06 2010 +0200
@@ -65,9 +65,9 @@
     "${CT_SRC_DIR}/cloog-ppl${_t}/configure"    \
         --build=${CT_BUILD}                     \
         --host=${CT_HOST}                       \
-        --prefix="${CT_PREFIX_DIR}"             \
-        --with-gmp="${CT_PREFIX_DIR}"           \
-        --with-ppl="${CT_PREFIX_DIR}"           \
+        --prefix="${CT_COMPLIBS_DIR}"           \
+        --with-gmp="${CT_COMPLIBS_DIR}"         \
+        --with-ppl="${CT_COMPLIBS_DIR}"         \
         --with-bits=gmp                         \
         "${cloog_opts[@]}"