Torbjorn Granlund wrote: > > Your options are to get gcc 4.3.3 or newer, or to stay with an older > version of GMP (which has a different version of the file 4.3.2 > miscompiles). > I see. On my laptop, with same config, the tests pass. I guess that this is because my laptop is i686...