Remove isl/cloog build scripts

isl is not distributed as part of Polly.

llvm-svn: 229304

polly/utils/checkout_cloog.sh

@@ -1 +0,0 @@
-checkout_isl.sh

polly/utils/checkout_isl.sh

@@ -1,97 +0,0 @@
-#!/bin/sh
-
-ISL_HASH="b3e0fa7a05d32f1e0e36e0a42b0b83fa2ba1f609"
-
-PWD=`pwd`
-
-check_command_line() {
-  if [ $# -eq 1 ]
-  then
-    ISL_DIR="${1}"
-  else
-      echo "Usage: " ${0} '<Directory to checkout isl>'
-      exit 1
-  fi
-}
-
-check_isl_directory() {
-  if ! [ -e ${ISL_DIR} ]
-  then
-    echo :: Directory "'${ISL_DIR}'" does not exists. Trying to create it.
-    if ! mkdir -p "${ISL_DIR}"
-    then exit 1
-    fi
-  fi
-
-  if ! [ -d ${ISL_DIR} ]
-  then
-    echo "'${ISL_DIR}'" is not a directory
-    exit 1
-  fi
-
-  # Make it absolute
-  cd ${ISL_DIR}
-  ISL_DIR=`pwd`
-
-  if ! [ -e "${ISL_DIR}/.git" ]
-  then
-    echo ":: No git checkout found"
-    IS_GIT=0
-  else
-    echo ":: Existing git repo found"
-
-    git log cc726006058136865f8c2f496d3df57b9f937ea5 2> /dev/null > /dev/null
-    OUT=$?
-    if [ $OUT -eq 0 ];then
-         echo ":: ISL repository found!"
-         IS_GIT=1
-    else
-         echo ":: Unknown repository found (CLooG?)!"
-         echo ":: Moving it to ${ISL_DIR}_old"
-         run mv ${ISL_DIR} ${ISL_DIR}_old
-         run mkdir ${ISL_DIR}
-         IS_GIT=0
-    fi
-  fi
-}
-
-complain() {
-  echo "$@"
-  exit 1
-}
-
-run() {
-  $cmdPre $*
-  if [ $? != 0 ]
-    then
-    complain $* failed
-  fi
-}
-
-check_command_line $@
-check_isl_directory
-
-if [ ${IS_GIT} -eq 0 ]
-then
-  echo :: Performing initial checkout
-  # Remove the existing CLooG and ISL dirs to avoid crashing older git versions.
-  cd ${ISL_DIR}/..
-  run rmdir "${ISL_DIR}"
-  run git clone http://repo.or.cz/r/isl.git ${ISL_DIR}
-fi
-
-echo :: Fetch version required by Polly
-run cd ${ISL_DIR}
-run git remote update
-
-echo :: Setting isl version
-run cd ${ISL_DIR}
-run git reset --hard "${ISL_HASH}"
-
-echo :: Generating configure
-run cd ${ISL_DIR}
-run ./autogen.sh
-
-echo :: If you install isl the first time run "'./configure'" followed by
-echo :: "'make'" and "'make install'", otherwise, just call "'make'" and
-echo :: "'make'" install.

polly/www/polly.sh

@@ -4,8 +4,6 @@ export BASE=`pwd`
 export LLVM_SRC=${BASE}/llvm
 export POLLY_SRC=${LLVM_SRC}/tools/polly
 export CLANG_SRC=${LLVM_SRC}/tools/clang
-export ISL_SRC=${BASE}/isl_src
-export ISL_INSTALL=${BASE}/isl_install
 export LLVM_BUILD=${BASE}/llvm_build
 
 if [ -e /proc/cpuinfo ]; then
@@ -26,16 +24,6 @@ if ! test -d ${CLANG_SRC}; then
     git clone http://llvm.org/git/clang.git ${CLANG_SRC}
 fi
 
-${POLLY_SRC}/utils/checkout_isl.sh ${ISL_SRC}
-cd ${ISL_SRC}
-
-if ! test -e ${ISL_SRC}/config.log; then
-    ./configure --prefix=${ISL_INSTALL}
-fi
-make
-make install
-cd ${BASE}
-
 mkdir -p ${LLVM_BUILD}
 cd ${LLVM_BUILD}