On 12 November 2012 22:49, Jonathan Wakely wrote: > On 12 November 2012 22:37, Dennis Clarke wrote: >> >> I'm giving this a try : >> >> CC='gcc -m64 -D__XOPEN_SOURCE=600 -g' >> >> ... thus far it has not blown up in 71 secs. :-\ > > It will fail with the same error in prettyprint.g That should be pretty-print.c
