Franck MICHEL <Franck.Michel at univ.u-3mrs.fr> writes: > > I've used nothing particular (configure ; make ; make check and all > the tests failed). You'll have to say in what way they failed if you want help. See "Reporting Bugs" in the manual. PS. Bug reports to bug-gmp at gnu.org.