Hi Joachim,
I am trying to understand why libmpfi-dev is in Build-Depends of cgal,
especially since libmpfi0 is not in Depends of any cgal package. The only
reason I could think of was this "bug", so cgal would detect MPFI and
enable it by default, but compiler_config.h still has it disabled in
4.5-1. Do you remember why you removed it from Suggests of libcgal-demo
and added it to Build-Depends? If you move it back (Suggests of
libcgal-dev would also make sense), it will also unblock 737307 (which
shouldn't be blocked anyway, build dependencies don't affect multiarch
usability of a package).
Thanks,
--
Marc Glisse
--
To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
