[PPL-devel] Big Endian Regression Test Failures

[Roberto Bagnara]

On 08/18/12 14:37, Edd Barrett wrote:
> On Fri, Aug 17, 2012 at 12:39:30PM +0100, Edd Barrett wrote:
>> Hi,
>>
>> I have (slowly) been packaging PPL for OpenBSD. I mostly have amd64/i386
>> build+regressions sorted with c,c++,java,ocaml interfaces enabled
>> (swi-prolog on the todo list). We tend to test things on big endian
>> machines, as they find all kinds of bugs. Anything that uses OCaml is
>> especially tested on sparc64, as there is no native code backend for
>> this architecture.
>>
>> Attached is a gzipped regression test log on a sparc64 machine with
>> PPL_NOISY_TESTS=yes set. A few tests failed. This build was for PPL-1.0
>> with the C,C++ and Ocaml interfaces enabled (Java could not be included
>> as openjdk only runs on i386 and amd64 on OpenBSD).
>>
>> Meanwhile, I will checkout the latest development code and see if
>> anything changes.
>
> Attached are the regression test failures using PPL master on sparc64.

Thanks Edd.  I am trying to reproduce the failures you get.
Meanwhile, I have fixed the PPL makefiles so as to work with
OpenBSD's default Make program.

-- 
Prof. Roberto Bagnara
Applied Formal Methods Laboratory
Department of Mathematics, University of Parma, Italy
http://www.cs.unipr.it/~bagnara/
mailto:bagnara at cs.unipr.it