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:
1) 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;
2) on crystal, XSB Prolog dies because of a segmentation fault; I will look at it now;
3) 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;
4) the matasciidumpload1 test fails for some choices of the Coefficient type.
Bugs, bugs... bugs everywhere... Ciao,
Roberto