--with-libgmp-prefix

2011-06-28 Thread Paul Emsley
Hi, I don't understand how the --with-libgmp-prefix is supposed to work. In fact, I'd go as far as saying that it's broken. ./configure --with-libgmp-prefix=/opt in configure additional_includedir and additional_libdir get set correctly but in config.log, I see: configure:36897: checking fo

Re: --with-libgmp-prefix

2011-06-28 Thread Paul Emsley
On 28/06/11 13:45, Paul Emsley wrote: Hi, I don't understand how the --with-libgmp-prefix is supposed to work. In fact, I'd go as far as saying that it's broken. ./configure --with-libgmp-prefix=/opt in configure additional_includedir and additional_libdir get set correctly but in config.log