Bug#494328: acl2_3.4-1 still fails with Compile FAILED: acl2-status.txt should contain :COMPILED.

2008-09-29 Thread Marcos Marado
Greetings, On Wednesday 24 September 2008 23:01:03 Camm Maguire wrote: > Greetings! This is a bug in gcc, i.e. ICE. Would you care to file > the report? A workaround might be to lower optimization on sparc. Hmm, I could report this against gcc, and will if you want me to, but I really don't k

Bug#494328: acl2_3.4-1 still fails with Compile FAILED: acl2-status.txt should contain :COMPILED.

2008-09-24 Thread Camm Maguire
Greetings! This is a bug in gcc, i.e. ICE. Would you care to file the report? A workaround might be to lower optimization on sparc. Take care, Marcos Torres Marado <[EMAIL PROTECTED]> writes: > Please check the compilation log in sparc: > > http://buildd.debian.org/fetch.cgi?&pkg=acl2&ver=3.

Bug#494328: acl2_3.4-1 still fails with Compile FAILED: acl2-status.txt should contain :COMPILED.

2008-09-05 Thread Marcos Torres Marado
Please check the compilation log in sparc: http://buildd.debian.org/fetch.cgi?&pkg=acl2&ver=3.4-1&arch=sparc&stamp=1219657791&file=log In particular this: End of Pass 2. *** glibc detected *** /usr/lib/gcc/sparc-linux-gnu/4.3.1/cc1: corrupted double-linked list: 0x018b6f60 *** other-events.c: I