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 -- Prof. Roberto Bagnara Computer Science Group Department of Mathematics, University of Parma, Italy http://www.cs.unipr.it/~bagnara/ mailto:bagnara@cs.unipr.it