[PATCH] [Polly] Enable ISL's small integer optimization

[Tobias Grosser]

LGTM, just a minor typo.

I fixed the parkas1 buildbot by cleaning its svn directory.

Let's still wait for the performance results to add them into the commit message. Unfortunately, it seems the runs you started broke for an unknown reason.


================
Comment at: autoconf/configure.ac:102
@@ +101,3 @@
+	dnl Configure ISL with small integer optimization, but do not add the
+	dnl ooption to config.status as it is mandatory for Polly.
+	ac_configure_args="$ac_configure_args --with-int=imath-32"
----------------
'option' instead of 'ooption'

http://reviews.llvm.org/D10506

EMAIL PREFERENCES
  http://reviews.llvm.org/settings/panel/emailpreferences/