Bug#723658: libgmp-dev:amd64: failure when compiling with gcc -lmpfr without -lgmp

[Vincent Lefevre]

Package: libgmp-dev
Version: 2:5.1.2+dfsg-3
Severity: minor

Not sure whether this is a bug in gmp or in the linker...

I get the following failure:

$ gcc version.c -o version -lmpfr
/usr/bin/ld.bfd.real: /tmp/cc3TW5Nl.o: undefined reference to symbol '__gmpn_popcount'
/usr/lib/x86_64-linux-gnu/libgmp.so.10: error adding symbols: DSO missing from command line
collect2: error: ld returned 1 exit status

There's no such problem with Debian 6.0.7.

Adding -lgmp solves the problem, but Debian 6.0.7 suggests that it
should not be necessary.

-- System Information:
Debian Release: jessie/sid
  APT prefers unstable
  APT policy: (500, 'unstable'), (500, 'testing'), (500, 'stable'), (1, 'experimental')
Architecture: amd64 (x86_64)
Foreign Architectures: i386

Kernel: Linux 3.10-2-amd64 (SMP w/8 CPU cores)
Locale: LANG=POSIX, LC_CTYPE=en_US.UTF-8 (charmap=UTF-8)
Shell: /bin/sh linked to /bin/dash

Versions of packages libgmp-dev:amd64 depends on:
ii  libgmp10       2:5.1.2+dfsg-3
ii  libgmpxx4ldbl  2:5.1.2+dfsg-3

Versions of packages libgmp-dev:amd64 recommends:
ii  libstdc++-4.8-dev [libstdc++-dev]   4.8.1-10
ii  libstdc++6-4.4-dev [libstdc++-dev]  4.4.7-4
ii  libstdc++6-4.5-dev [libstdc++-dev]  4.5.4-1
ii  libstdc++6-4.6-dev [libstdc++-dev]  4.6.4-4
ii  libstdc++6-4.7-dev [libstdc++-dev]  4.7.3-7

Versions of packages libgmp-dev:amd64 suggests:
ii  libgmp10-doc  2:5.1.2+dfsg-3
ii  libmpfr-dev   3.1.1-2

-- no debconf information