aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorBernhard Rosenkraenzer <Bernhard.Rosenkranzer@linaro.org>2011-08-05 03:38:26 +0159
committerBernhard Rosenkraenzer <Bernhard.Rosenkranzer@linaro.org>2011-08-05 03:38:26 +0159
commit06684b0022c299c88067b1af640c5e434d49b6e6 (patch)
treeb18eef7ee4513d07733c34df9bd14b7d7a7a8d43
parent7f120c77937f05c9a4e872a1823375d57c9d997d (diff)
downloadbuild-06684b0022c299c88067b1af640c5e434d49b6e6.tar.gz
Install isl if required
-rw-r--r--Makefile.in4
1 files changed, 4 insertions, 0 deletions
diff --git a/Makefile.in b/Makefile.in
index c7ba159..8737af2 100644
--- a/Makefile.in
+++ b/Makefile.in
@@ -636,6 +636,10 @@ build-host-cloog: stmp-build-host-cloog
stmp-install-host-cloog: stmp-build-host-cloog
$(MAKE) -C ${CLOOG_VERSION} install-libLTLIBRARIES \
install-pkgincludeHEADERS && \
+ifneq ($(findstring ppl-,$(CLOOG_VERSION)),)
+ $(MAKE) -C ${CLOOG_VERSION}/isl install-libLTLIBRARIES \
+ install-pkgincludeHEADERS && \
+endif
$(STAMP) $@
install-host-cloog: stmp-install-host-cloog