On Tue, Sep 12, 2017 at 2:27 AM, Uwe Kleine-König
wrote:
>> BTW, if I want to get a PPC64 machine for Linux testing purpose, is the
>> used apple G5 a good place to start?
>
> Honestly I don't know. https://wiki.debian.org/ppc64el tells
>
> Debian/ppc64el requires, at minimum, a POWER8 pr
On Wed, Sep 6, 2017 at 11:36 AM, Uwe Kleine-König
wrote:
> There is https://dsa.debian.org/doc/guest-account/ which would give you
> the possibility to access some Debian machines. Other than that I intend
Sorry for the delay. Thanks for the pointer of the guest account.
> to upload 0.5.1 to De
On Wed, Sep 6, 2017 at 10:44 AM, Uwe Kleine-König
wrote:
>
> and while it's ok to test the core stuff and not wanting the system
> includes to interfere, there should also be tests that check "ordinary"
> userspace programs which naturally depend on the system headers.
>
There is one. The "selfc
On Sun, Sep 3, 2017 at 5:14 PM, Luc Van Oostenryck
wrote:
>
> I really think that the testsuite should not depend on system or library
> header.
I think that is a good point. We can start cleaning up the system header
file dependency in the existing test suite. See how it goes.
>
> Otherwise, I'
On Fri, Sep 1, 2017 at 3:02 AM, Josh Triplett wrote:
>> First of all. It is not very trivial to teach sparse about the architecture
>> stuff. To my mind, we need to move all the cgcc logic into sparse.
>
> Related to that: while it would mean we couldn't necessarily just rely
> entirely on GCC's d
On Fri, Sep 1, 2017 at 3:46 AM, Uwe Kleine-König wrote:
\>
> Nearly right. I'm responsible for the sparse Debian package and the
> problem at hand is https://bugs.debian.org/873508. This bug report has
> "Severity: serious" wihch might eventually result in the removal of
> sparse from the Debian a
On Thu, Aug 31, 2017 at 6:43 PM, Ramsay Jones
>> - move sparse to /usr/lib
>> - teach cgcc about the move of sparse
>> - make /usr/bin/sparse call cgcc -no-compile "$@"
>
> Hmm, I don't think that would be a good idea ...
>
Agree.
>
> Anyway, if you were to un-install llvm, sparse-llvm etc., w
On Thu, Aug 31, 2017 at 4:55 PM, Uwe Kleine-König Yes
that works. So to address the Debian bug I can do:
>
> - move sparse to /usr/lib
> - teach cgcc about the move of sparse
> - make /usr/bin/sparse call cgcc -no-compile "$@"
I don't like that. It means the user can't invoke sparse directly.
On Wed, Aug 30, 2017 at 1:36 PM, Uwe Kleine-König
wrote:
>> >
>> > diff --git a/validation/backend/sum.c b/validation/backend/sum.c
>> > index 0604299..d0be8dd 100644
>> > --- a/validation/backend/sum.c
>> > +++ b/validation/backend/sum.c
>> > @@ -1,3 +1,5 @@
>> > +#define __powerpc64__
>> > +#de
9 matches
Mail list logo
