On 16 February 2011 15:32, Ed Smith-Rowland wrote: >> >> The most common reason is that the runtime linker can't find >> libgmp.so, limmpfr.so and/or libmpc.so >> http://gcc.gnu.org/wiki/FAQ#configure_suffix >> > Sorry, > > The library exits. Things are just not pointed right somehow. > > ed@bad-horse:~/obj/x86_64-unknown-linux-gnu/libgcc$ find /usr/local/ -name > libcloog-isl.so.1 > /usr/local/lib/libcloog-isl.so.1 > > As documented at the FAQ on the wiki and at http://gcc.gnu.org/install/configure.html for --with-gmp, you need to tell the runtime linker how to find the library. I don't know how one does that on Darwin, for GNU/Linux you can use ldconfig, or set the LD_LIBRARY_PATH environment variable.