[PPL-devel] Tinderbox status

[Matthew Mundell]

Roberto Bagnara <bagnara at 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:
>
> 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.

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 at cs.unipr.it
> _______________________________________________
> PPL-devel mailing list
> PPL-devel at cs.unipr.it
> http://www.cs.unipr.it/mailman/listinfo/ppl-devel