diff options
Diffstat (limited to 'Makefile.in')
-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 |