Bug#675577: Bug#718094: mpfr4: FTBFS: configure: error: gmp.h can't be found, or is unusable.

[Vincent Lefevre]

On 2013-07-30 08:25:20 -0500, Steve M. Robbins wrote:
> On July 30, 2013 12:42:09 PM Vincent Lefevre wrote:
> > (note that libmpfr-dev:i386 is not installable).
> 
> I'm surprised you say that as it appears to have worked here. To my
> surprise, it appears even to be co-installable with the amd64
> version:

I thought there was a clash with "gcc" (or some other installed
package), but this was apparently due to a bug in apt. Adding
"gcc" to "apt-get install libmpfr-dev:i386" solves the problem.
I've reported the apt bug here:

  http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=718334

-- 
Vincent Lefèvre <vincent at vinc17.net> - Web: <http://www.vinc17.net/>
100% accessible validated (X)HTML - Blog: <http://www.vinc17.net/blog/>
Work: CR INRIA - computer arithmetic / AriC project (LIP, ENS-Lyon)