Re: access to hppa machine to work on Bug#558980

[Stephen Leake <stephen_leake@stephe-leake.org>]

Frans Pop <elendil@planet.nl> writes:

>> I'm the Debian GNADE maintainer, but not yet a Debian Developer.
>> Bug#558980 is a failure of the GNADE 'make check'. It works fine on my
>> x86, and several other architectures, so this appears to be an
>> arch-specific bug. I'd like to work on fixing it, but I don't have
>> access to an hppa machine.
>
> It fails with a segfault. As there are quite a few other packages that only 
> fail on HPPA in a similar way, it is likely that this is due to a general 
> HPPA bug, and not an issue specific to GNAT.

That makes sense. I assume you mean a bug in the gcc backend for HPPA.

Would it help to find the bug, if I can reduce the GNADE failure to a
small test case? It would be in Ada.

If this bug is not fixed, I have two choices for GNADE:

1) remove hppa from the list of supported architectures.

2) remove the 'check' target from debian/rules, and hope that user
   code will not hit the same bug.

Which is the recommended approach?

-- 
-- Stephe