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.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: In function 'LI64':
> other-events.c:10456: internal compiler error: Aborted
> Please submit a full bug report,
> with preprocessed source if appropriate.
> See <file:///usr/share/doc/gcc-4.3/README.Bugs> for instructions.
> 
> Correctable error: (SYSTEM "gcc -c -g -O2  -Wall -DVOL=volatile -fsigned-char 
> -pipe  -I/usr/lib/gcl-2.6.7/unixport/../h  -O3 -fomit-frame-pointer -c 
> \"other-events.c\" -o \"other-events.o\" -w") returned a non-zero value 0.
> Signalled by UNLESS.
> If continued: Continues anyway.
> 
> Raw Lisp Break.
> Broken at APPLY.  Type :H for Help.
> ACL2>>make[2]: Entering directory `/build/buildd/acl2-3.4'
> Compile FAILED: acl2-status.txt should contain :COMPILED.
> make[2]: *** [check_compile_ok] Error 1
> make[2]: Leaving directory `/build/buildd/acl2-3.4'
> make[1]: *** [full] Error 2
> make[1]: Leaving directory `/build/buildd/acl2-3.4'
> make: *** [saved_acl2] Error 2
> dpkg-buildpackage: failure: debian/rules build gave error exit status 2
> ******************************************************************************
> Build finished at 20080825-1148
> FAILED [dpkg-buildpackage died]
> 
> It seems that this bug should be reopened...
> 
> Best regards,
> --
> Marcos Marado
> 
> 
> 
> 
> 

-- 
Camm Maguire                                            [EMAIL PROTECTED]
==========================================================================
"The earth is but one country, and mankind its citizens."  --  Baha'u'llah



-- 
To UNSUBSCRIBE, email to [EMAIL PROTECTED]
with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]

Reply via email to