mikestillman/M2 — pull request #16 by jakobkroeker (2014-01-17 17:32:38+00:00)
Title: patch for flint's configure

now flint will link with `-lmpir` if
configure option
--with-mpir
is passed to it