summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--scripts/build/companion_libs/cloog.sh7
1 files changed, 2 insertions, 5 deletions
diff --git a/scripts/build/companion_libs/cloog.sh b/scripts/build/companion_libs/cloog.sh
index a0dbef8..34c72c1 100644
--- a/scripts/build/companion_libs/cloog.sh
+++ b/scripts/build/companion_libs/cloog.sh
@@ -71,7 +71,7 @@ do_cloog() {
"${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 @@ do_cloog() {
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
}