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

[Vincent Lefevre]

On 2013-07-31 09:31:10 -0500, Steve M. Robbins wrote:
> On Tue, Jul 30, 2013 at 04:05:10PM +0200, Vincent Lefevre wrote:
> > 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.
> 
> Great, I'm glad you found a workaround for the problem.  Still, it's
> odd that I did not see it.

It might depend on the contents of the /var/lib/dpkg/status file.
I attached this file in my bug report against apt.

> Earlier you made the point that you would like to use "gcc -m32".  So
> it turns out that the i386 and amd64 versions of libgmp-dev are now
> co-installable and with both installed, you can indeed compile in
> either 32- or 64-bit mode!

And I've checked that the results are fine.

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