Roberto Bagnara bagnara@cs.unipr.it writes:
As you can see, tinderbox is not very happy today
http://www.cs.unipr.it/~tinderbox/all_trees.panel.html(BTW: this is the link any developer should monitor on a regular basis).
The reasons for the failures are:
on cluster64 everything fails becase the changes Enea made yesterday triggered a bug in GCC 3.3.3:
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=13635
After proper consisderation, I decided that the only reasonable fix was to ask the cluster64's admin to upgrade GCC;
on crystal, XSB Prolog dies because of a segmentation fault; I will look at it now;
on thunder, we stumble on the GCC (4.0.1) bug I reported to this list a few days ago; I will install GCC 4.0.2 there as soon as it will be available;
the matasciidumpload1 test fails for some choices of the Coefficient type.
This is just from the size of random numbers being generated in the test. I'm on it.
Bugs, bugs... bugs everywhere... Ciao,
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 _______________________________________________ PPL-devel mailing list PPL-devel@cs.unipr.it http://www.cs.unipr.it/mailman/listinfo/ppl-devel