re: macos: "configure: error: gmp library too old"

[matthew green <mrg%eterna23.net@localhost>]

> 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.