ISL install troubles
Tue Aug 14 17:39:00 GMT 2012

On Aug 14, 2012, at 4:17 AM, Richard Guenther wrote:

> On Mon, Aug 13, 2012 at 6:25 PM,  <> 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.

That worked.  But since ISL is also distributed by itself and has an installation procedure that looks like it is meant to work when that procedure is run by itself, it would be nice if that procedure actually worked.


More information about the Gcc mailing list