Greetings, and thanks for your work on this and reports!
There is a proto Debian ppc64le port in unstable which builds axiom,
hol88, and acl2. There are gcc compiler bugs preventing a maxima
testsuite pass. I am in dialogue with the gcc maintainers, and am
filing bugs, but if you want to do it,
On Tue, Sep 23, 2014 at 1:09 PM, Camm Maguire c...@maguirefamily.org wrote:
Greetings, and thanks for your work on this and reports!
There is a proto Debian ppc64le port in unstable which builds axiom,
hol88, and acl2. There are gcc compiler bugs preventing a maxima
testsuite pass. I am in
Greetings, and thanks so much!
Does this work?
+ store_val(where,MASK(32),(s+a-p));
Take care,
Jerry James loganje...@gmail.com writes:
On Tue, Sep 23, 2014 at 2:20 PM, Jerry James loganje...@gmail.com wrote:
I think the patch isn't quite right, because ...
Indeed, it wasn't. I
On Tue, Sep 23, 2014 at 5:50 PM, Camm Maguire c...@maguirefamily.org wrote:
Greetings, and thanks so much!
Does this work?
+ store_val(where,MASK(32),(s+a-p));
I should have mentioned that I tried that. It failed in the same way
as ~0L (on big-endian ppc64; little endian worked with