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.
@@ -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
