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 -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
