On Thu, 17 Apr 2014, Jay wrote:
Are you running from sh/bash/ksh/csh/zsh, or maybe, Python's os.system()?There is a bug in gmp's configure, related to flex, and revealed by non-default signal handling such as in Python. It has been reported for years, by multiple people, with simple correct fixes, but not fixed.
As far as I can see, m4-not-needed is not present in gmp-6. Maybe people could stop complaining that bugs aren't fixed in old versions?
-- Marc Glisse
