> I tried a build of yesterday's -current on macos and it got this far: > > checking for main in -lgmp... yes > configure: error: gmp library too old
that's odd.. what's in the config.log for tools/isl where it fails? normally that's about 60% in the file, if you've not seen before, and contains the useful info.. .mrg.
