div_ext.c missing from mpfi 1.5.4 release
Imported issue: Initially reported by Jerry James in https://gforge.inria.fr/tracker/?group_id=157&aid=21721
Attempting to build mpfi 1.5.4 on a Fedora Rawhide machine ends with:
make[2]: *** No rule to make target 'div_ext.c', needed by 'div_ext.lo'. Stop.
make[2]: *** Waiting for unfinished jobs....
There is no file named div-ext.c in mpfi-1.5.4.tar.gz, but it is listed in libmpfi_la_SOURCES in src/Makefile.am.