ISL install troubles

[Richard Guenther]

On Mon, Aug 13, 2012 at 6:25 PM,  <Paul_Koning@dell.com> wrote:
> Where does one go to report issues with ISL?
>
> Since GCC doesn't build without it, I'm trying to install ISL from sources.  That doesn't work.  It accepts --with-gmp but there is nothing in the Makefile to pay attention to that -- the compiles are done without any switches so it fails unless gmp.h is in /usr/include.  Since I installed gmp from source in the usual way, it's in /usr/local/.

GCC builds without ISL, it just disables support for GRAPHITE optimizations.

The easiest way to use ISL is to drop it into the GCC source tree, alongside
with cloog.

Richard.

>         paul
>