diff options
author | Tobias Grosser <tobias@grosser.es> | 2015-02-15 14:19:20 +0300 |
---|---|---|
committer | Tobias Grosser <tobias@grosser.es> | 2015-02-15 14:19:20 +0300 |
commit | 3588b74955a43d53ed5365aff64b3aee24238fdb (patch) | |
tree | e3b968ce180d6f8e5abed2c2d3cc6050213b02ad /polly/www | |
parent | 503a6c15707d82377cee525a244ff296656f58c8 (diff) |
Remove isl/cloog build scripts
isl is not distributed as part of Polly.
llvm-svn: 229304
Diffstat (limited to 'polly/www')
-rw-r--r-- | polly/www/polly.sh | 12 |
1 files changed, 0 insertions, 12 deletions
diff --git a/polly/www/polly.sh b/polly/www/polly.sh index ae4c480f45b2..8e253cfcf7e8 100644 --- a/polly/www/polly.sh +++ b/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} |