Re: ISL install troubles

2012-08-14 Thread Paul_Koning
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 i

Re: ISL install troubles

2012-08-14 Thread Paul_Koning
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 i

Re: ISL install troubles

2012-08-14 Thread Richard Guenther
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

ISL install troubles

2012-08-13 Thread Paul_Koning
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.