2014-11-26  Tobias Burnus  <burnus@net-b.de>

        * Makefile.def: Make more dependent on mpfr, mpc and isl.
        * Makefile.in: Regenerate.

From-SVN: r218096