Bug#308000: FTBFS: missing libmpfr-dev build-dependency

[Laurent.Bonnaud@inpg.fr]

Package: gcc-4.0
Version: 4.0.0-2
Severity: serious
Tags: experimental
Justification: build-dependencies must be listed exhaustively


Hi,

here is the problem:

$ fakeroot apt-get -b source gcc-4.0
[...]
mkdir /home/bonnaud/gcc-4.0-4.0.0/build
: # configure
cd /home/bonnaud/gcc-4.0-4.0.0/build \
  && true \
  && PATH=/home/bonnaud/gcc-4.0-4.0.0/bin:$PATH \
        CC="gnatgcc" \
         \
LD_LIBRARY_PATH=${LD_LIBRARY_PATH:+$LD_LIBRARY_PATH:}/home/bonnaud/gcc-4.0-4.0.0/build/gcc/ada/rts \
        ../src/configure -v --enable-languages=c,c++,java,f95,objc,ada,treelang --prefix=/usr --libexecdir=/usr/lib --enable-shared --with-system-zlib --enable-nls --enable-threads=posix --without-included-gettext  --program-suffix=-4.0 --enable-__cxa_atexit --enable-libstdcxx-allocator=mt  --enable-clocale=gnu --enable-libstdcxx-debug --enable-java-gc=boehm --enable-java-awt=gtk --enable-mpfr --disable-werror --enable-checking=release x86_64-linux
configure: warning: x86_64-linux: invalid host type
creating cache ./config.cache
checking host system type... x86_64-pc-linux-gnu
checking target system type... x86_64-pc-linux-gnu
checking build system type... x86_64-pc-linux-gnu
checking for a BSD compatible install... /usr/bin/install -c
checking whether ln works... yes
checking whether ln -s works... yes
checking for gcc... gnatgcc
checking whether the C compiler (gnatgcc  ) works... yes
checking whether the C compiler (gnatgcc  ) is a cross-compiler... no
checking whether we are using GNU C... yes
checking whether gnatgcc accepts -g... yes
checking for gnatbind... gnatbind
checking whether compiler driver understands Ada... yes
checking how to compare bootstrapped objects... cmp --ignore-initial=16 $$f1 $$f2
checking for correct version of gmp.h... no
configure: error: GMP with MPFR support is required to build f95
make[1]: *** [stamps/04-configure-stamp] Error 1
make[1]: Leaving directory `/home/bonnaud/gcc-4.0-4.0.0'
make: *** [stamps/04-configure-stamp] Error 2
Build command 'cd gcc-4.0-4.0.0 && dpkg-buildpackage -b -uc' failed.
E: Child process failed


Installing libmpfr-dev cures the problem.


-- System Information:
Debian Release: 3.1
Architecture: amd64 (x86_64)
Kernel: Linux 2.6.11-9-amd64-k8
Locale: LANG=fr_FR@euro, LC_CTYPE=fr_FR@euro (charmap=ISO-8859-15)