On Thu, 31 Oct 2013, Barry Smith wrote: > > 4. Missed mentioning: '/usr/bin/gcc' does not accept GNU-gcc options. > > So does configure at least answer no when you do compiles.isGNU?
I can't verify directly - but looking at what 'gcc -v' gives - isGNU() should return 'false'. Also we have isClang() that does a 'clang --help' and is looking for 'Emit Clang AST'. Perhaps that will return 'true' for /usr/bin/gcc. Satish
