Re: --with-libgmp-prefix

2012-01-08 Thread Andy Wingo
Hi Paul, This is something of an old bug report, but I figured I'd follow up. On Tue 28 Jun 2011 14:45, Paul Emsley writes: > 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. > > ./

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 co

--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: