[polly] r339094 - Make update-isl work with latest isl versions

[Tobias Grosser via llvm-commits]

Author: grosser
Date: Mon Aug  6 22:50:58 2018
New Revision: 339094

URL: http://llvm.org/viewvc/llvm-project?rev=339094&view=rev
Log:
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.

Modified:
    polly/trunk/lib/External/update-isl.sh

Modified: polly/trunk/lib/External/update-isl.sh
URL: http://llvm.org/viewvc/llvm-project/polly/trunk/lib/External/update-isl.sh?rev=339094&r1=339093&r2=339094&view=diff
==============================================================================
--- polly/trunk/lib/External/update-isl.sh (original)
+++ polly/trunk/lib/External/update-isl.sh Mon Aug  6 22:50:58 2018
@@ -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