diff -r 250cdcc86441 -r ab0759ba292c scripts/build/companion_libs/cloog.sh
--- a/scripts/build/companion_libs/cloog.sh	Fri Oct 22 22:02:57 2010 +0200
+++ b/scripts/build/companion_libs/cloog.sh	Mon Oct 18 16:51:01 2010 +0200
@@ -71,7 +71,7 @@
         "${cloog_opts[@]}"
 
     CT_DoLog EXTRA "Building CLooG/ppl"
-    CT_DoExecLog ALL make ${PARALLELMFLAGS}
+    CT_DoExecLog ALL make ${PARALLELMFLAGS} libcloog.la
 
     if [ "${CT_COMPLIBS_CHECK}" = "y" ]; then
         CT_DoLog EXTRA "Checking CLooG/ppl"
@@ -79,10 +79,7 @@
     fi
 
     CT_DoLog EXTRA "Installing CLooG/ppl"
-    CT_DoExecLog ALL make install
-
-    # Remove spuriously installed file
-    CT_DoExecLog ALL rm -f "${CT_PREFIX_DIR}/bin/cloog"
+    CT_DoExecLog ALL make install-libLTLIBRARIES install-pkgincludeHEADERS
 
     CT_EndStep
 }