Hi,
Thanks for the snapshot. It almost worked. I have a small (I think) problem. When configure reaches the following lines:
---------------- checking whether the C++ compiler supports flexible arrays... yes checking if the compiler has the remainder bug... ----------------
the conftest.exe raises an exception(in windows): "An unhandled win32 exception occured in conftest.exe [3752]." when I choose not to debug this exception (in the VS dialog), the configure continue as no error occurred and no compiler bug has been found. But when I run "make" it returns with the following error:
---------------- In file included from checked.defs.hh:431, from Checked_Number.defs.hh:27, from Coefficient.types.hh:15, from Coefficient.defs.hh:26, from globals.defs.hh:27, from Interval.defs.hh:26, from Box.defs.hh:28, from Box.cc:24: checked.inlines.hh: In function `Parma_Polyhedra_Library::Result Parma_Polyhedra_Library::Checked::input_generic(Type&, std::istream&, Parma_Polyhedra_Library::Rounding_Dir)': checked.inlines.hh:575: internal compiler error: in invert_truthvalue, at fold-const.c:2695 Please submit a full bug report, with preprocessed source if appropriate. See http://www.mingw.org/bugs.shtml%3E for instructions. make[3]: *** [Box.lo] Error 1 make[2]: *** [all] Error 2 make[1]: *** [all-recursive] Error 1 make: *** [all] Error 2 ----------------
I guess this error is related to the remainder bug that is somehow not detected because of the exception? Could it be a problem in my system? Is there a way to avoid it?
Ro'ee Sfaradi sfa_roy@yahoo.com
----- Original Message ---- From: Roberto Bagnara bagnara@cs.unipr.it To: Ro'ee Sfaradi sfa_roy@yahoo.com Cc: The Parma Polyhedra Library developers' list ppl-devel@cs.unipr.it Sent: Monday, October 1, 2007 1:33:05 PM Subject: Re: [PPL-devel] setitimer functions
Ro'ee Sfaradi wrote:
Hi Roberto,
I've tried the CVS version, and I had troubles with creating the configure file (I'm not very familiar with autotools). If it's no bother I'll be glad if you could send the snapshot.
Best Regards, Ro'ee Sfaradi sfa_roy@yahoo.com
Dear Ro'ee,
there is a snapshot for you at
http://www.cs.unipr.it/ppl/Download/ftp/snapshots/ppl-0.10pre9.tar.bz2
Please let us know how it goes and do not hesitate to get in touch to suggest improvements or if you need help. All the best,
Roberto