From 06684b0022c299c88067b1af640c5e434d49b6e6 Mon Sep 17 00:00:00 2001
From: Bernhard Rosenkraenzer <Bernhard.Rosenkranzer@linaro.org>
Date: Fri, 5 Aug 2011 03:38:26 +0159
Subject: Install isl if required

---
 Makefile.in | 4 ++++
 1 file changed, 4 insertions(+)

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
 
-- 
cgit v1.2.3