<html><head></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space; "><br><div><div>On Oct 29, 2010, at 5:54 PM, Tobias Grosser wrote:</div><blockquote type="cite"><div><font class="Apple-style-span" color="#000000"><br></font>--- llvm/trunk/autoconf/configure.ac (original)<br>+++ llvm/trunk/autoconf/configure.ac Fri Oct 29 19:54:26 2010<br>@@ -121,6 +121,26 @@<br> fi<br> done<br><br>+dnl Disable the build of polly, even if it is checked out into tools/polly.<br>+AC_ARG_ENABLE(polly,<br>+ AS_HELP_STRING([--enable-polly],<br>+ [Use polly if available (default is YES)]),,<br>+ enableval=default)<br>+case "$enableval" in<br>+ yes) AC_SUBST(ENABLE_POLLY,[1]) ;;<br>+ no) AC_SUBST(ENABLE_POLLY,[0]) ;;<br>+ default) AC_SUBST(ENABLE_POLLY,[1]) ;;<br>+ *) AC_MSG_ERROR([Invalid setting for --enable-polly. Use "yes" or "no"]) ;;<br>+esac<br>+<br>+<br>+dnl Check if polly is checked out into tools/polly and configure it if<br>+dnl available.<br>+if (test -d ${srcdir}/tools/polly) && (test $ENABLE_POLLY -eq 1) ; then<br>+ AC_SUBST(LLVM_HAS_POLLY,1)<br>+ AC_CONFIG_SUBDIRS([tools/polly])<br>+fi<br></div></blockquote><br></div><div>Hi Tobias and ether,</div><div><br></div><div>Instead of a configure-time check, can polly just use the OPTIONAL_PARALLEL_DIRS</div><div>mechanism? This is what clang uses for what sounds like the same purpose; see</div><div>tools/Makefile.</div><br><div>Dan</div><div><br></div></body></html>