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

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:

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=acl2ver=3.4-1arch=sparcstamp=1219657791file=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: In