JohnCremona/eclib — pull request #5 by kiwifb (2014-02-10 09:45:47+00:00)
Title: Fix --with-flint for issue #3

The change was somewhat modelled on ax_boost_base.m4.