diff options
author | Bernhard Rosenkraenzer <Bernhard.Rosenkranzer@linaro.org> | 2011-08-05 03:38:26 +0159 |
---|---|---|
committer | Bernhard Rosenkraenzer <Bernhard.Rosenkranzer@linaro.org> | 2011-08-05 03:38:26 +0159 |
commit | 06684b0022c299c88067b1af640c5e434d49b6e6 (patch) | |
tree | b18eef7ee4513d07733c34df9bd14b7d7a7a8d43 | |
parent | 7f120c77937f05c9a4e872a1823375d57c9d997d (diff) | |
download | build-06684b0022c299c88067b1af640c5e434d49b6e6.tar.gz |
Install isl if required
-rw-r--r-- | Makefile.in | 4 |
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 |