Re: [PATCH] gcc/: Fix building with isl-0.15.0; includes

2015-07-19 Thread Tobias Grosser
On 07/19/2015 11:10 PM, james harvey wrote: These two patches appear to do the trick. I'm building with ISL 0.15 just fine now. Nice. Tobias

Re: [PATCH] gcc/: Fix building with isl-0.15.0; includes

2015-07-19 Thread james harvey
These two patches appear to do the trick. I'm building with ISL 0.15 just fine now. On Fri, Jul 17, 2015 at 11:10 AM, Bernhard Reutner-Fischer wrote: > In addition to Mike's "[PATCH] gcc: fix building w/isl-0.15" in > https://gcc.gnu.org/ml/gcc-patches/2015-07/msg01162.html > I seem to also need