http://gcc.gnu.org/cgi-bin/gnatsweb.pl?cmd=view%20audit- trail&database=gcc&pr=9431 Hello, could the submitter please be more clear about what is invalid about the generated makefile? How does it fail? With what version of make? Note that gcc does not officially support any makes aside from GNU make. Thanks, Dara