diff options
author | Tobias Grosser <tobias@grosser.es> | 2018-08-07 05:50:58 +0000 |
---|---|---|
committer | Tobias Grosser <tobias@grosser.es> | 2018-08-07 05:50:58 +0000 |
commit | ac1ce9c80e32d4712208627271cf8c7afcb84068 (patch) | |
tree | 5a4ac3c57fd06ad8093f0e2e064257457d2f0352 /polly/lib | |
parent | 89fe323b1d588cb447578e38327cb92f5369ed7a (diff) |
Make update-isl work with latest isl versions
Latest isl versions require clang to build a 'dist' package. Make sure
we actually ask for it.
While being there, also make sure we build isl on all cores.
Diffstat (limited to 'polly/lib')
-rwxr-xr-x | polly/lib/External/update-isl.sh | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/polly/lib/External/update-isl.sh b/polly/lib/External/update-isl.sh index 0bf3e0def72..c4b9da41d39 100755 --- a/polly/lib/External/update-isl.sh +++ b/polly/lib/External/update-isl.sh @@ -18,8 +18,9 @@ if [ -n "$1" ]; then fi (cd $GITDIR && ./autogen.sh) mkdir -p $BUILDDIR -(cd $BUILDDIR && $GITDIR/configure --with-int=imath-32) -(cd $BUILDDIR && make dist) +(cd $BUILDDIR && $GITDIR/configure --with-int=imath-32 --with-clang=system) +touch $GITDIR/gitversion.h +(cd $BUILDDIR && make -j dist) for DISTFILE in "$BUILDDIR/isl*.tar.gz"; do break; done |