diff options
author | Tobias Grosser <tobias@grosser.es> | 2015-04-10 18:41:14 +0300 |
---|---|---|
committer | Tobias Grosser <tobias@grosser.es> | 2015-04-10 18:41:14 +0300 |
commit | aa7f0f8d5c95e4208788c5c83f5567c7b5005dad (patch) | |
tree | ae471afa971e94f6d18bca45447c004a8bd2b879 /polly/www | |
parent | bd989e78f1727969bea5bd1d07c5fa33cdfc2be1 (diff) |
Drop ISL_INSTALL path
There is no need for an isl install path anymore. isl is now part of Polly.
llvm-svn: 234605
Diffstat (limited to 'polly/www')
-rw-r--r-- | polly/www/polly.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/polly/www/polly.sh b/polly/www/polly.sh index 8e253cfcf7e8..af4e74715309 100644 --- a/polly/www/polly.sh +++ b/polly/www/polly.sh @@ -28,11 +28,11 @@ mkdir -p ${LLVM_BUILD} cd ${LLVM_BUILD} if which cmake ; then - cmake -DCMAKE_PREFIX_PATH=${ISL_INSTALL} ${LLVM_SRC} + cmake ${LLVM_SRC} make -j$procs -l$procs make check-polly else - ${LLVM_SRC}/configure --with-isl=${ISL_INSTALL} + ${LLVM_SRC}/configure make -j$procs -l$procs make check-polly -C tools/polly/test/ fi |