[PPL-devel] Tinderbox status

[Roberto Bagnara]

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 at cs.unipr.it