http://benji3up2kxewkqfcq7buxk2xd6zwy3zggnurkrm3l4cvwy2iipvyyad.onion/mirrors/gmpdoc/Known-Build-Problems.html
This will hopefully be relaxed in the
future, but for now if this is a problem the suggestion is to create a little
script to hide them, and for instance configure with ./configure CC=gcc-with-my-options DJGPP (‘ *-*-msdosdjgpp* ’) ¶ The DJGPP port of bash 2.03 is unable to run the ‘ configure ’
script, it exits silently, having died writing a preamble to config.log .