
David Edelsohn wrote:
On Wed, Aug 20, 2008 at 11:30 AM, Roberto Bagnara bagnara@cs.unipr.it wrote:
The first bug (including <cstring> instead of <strings.h> was unknown and is now fixed in the CVS version.
Is this wrapped in
extern "C" { }
or assumed to be C++ safe?
The latter. Would this be a problem for AIX?
For the other problem, I am unable to reproduce it on any of our machines. Can I have access to a system where the problem shows up?
I am not sure about easy access to an AIX system, but I can send you preprocessed source code, if you want to examine it. Let me know to whom I should send it.
Plese, send the preprocessed sources to myself. I also would like to have the generated config.log and ppl-config.h files, as well as the precise compiler version you are using. Thanks,
Roberto