Bug#494328: acl2_3.4-1 still fails with Compile FAILED: acl2-status.txt should contain :COMPILED.
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 know what the bug is or why is this considered to be a gcc bug. Maybe it would be better if you reported the bug? Or else, could you please give me some hints on what should I report? Thanks, -- Marcos Marado -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of unsubscribe. Trouble? Contact [EMAIL PROTECTED]
Bug#494328: acl2_3.4-1 still fails with Compile FAILED: acl2-status.txt should contain :COMPILED.
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=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 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. ACL2make[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]
Bug#494328: acl2_3.4-1 still fails with Compile FAILED: acl2-status.txt should contain :COMPILED.
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 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. ACL2make[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 -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of unsubscribe. Trouble? Contact [EMAIL PROTECTED]
