On 17 Jul 2012, at 20:01, Xuanye An wrote: > I am reporting some bugs on my mac as below. > And I was trying to install gmp-4.3.2 on mac, after "make install" there are something wrong happened. > So please tell me how to solve. This is rather old; have you tried gmp-5.0.5 with latest Xcode? Hans