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