On Mon, Sep 03, 2012 at 03:27:29PM +0200, Richard Guenther wrote: > On Tue, Aug 14, 2012 at 1:27 PM, Richard Guenther <rguent...@suse.de> wrote: > > > > This makes --without-cloog and --without-isl disable GRAPHITE support > > as intended. > > > > Tested up to building stage2 with --without-isl, verified ISL was not > > used or checked for, tested up to building stage2 without --without-isl, > > verified system ISL was picked up. > > > > Ok for trunk? > > Ping.
Ok. > > 2012-08-14 Richard Guenther <rguent...@suse.de> > > > > PR bootstrap/54138 > > * configure.ac: Re-organize ISL / CLOOG checks to allow > > disabling with either --without-isl or --without-cloog. > > * configure: Regenerated. > > * config/cloog.m4: Adjust. > > * config/isl.m4: Adjust. Jakub