Package: acl2
Version: 3.6-3
User: debian-...@lists.debian.org
Usertags: ftbfs-gcc-4.5
for the compiler version used, see:
http://lists.debian.org/debian-devel/2010/01/msg00230.html
full build log:
http://people.debian.org/~lucas/logs/2010/01/08b/acl2_3.6-3_lsid64b.buildlog
the reason of the build failure is unknown, if this turns out as a gcc bug,
please reassign to the gcc-4.5 package.
End of Pass 2.
gcc: /tmp/TMP: No such file or directory
gcc: no input files
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
\"/tmp/t...@25825@1.c\" -o \"/tmp/t...@25825@1.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/user-acl2_3.6-3-amd64-rcrt4i/acl2-3.6'
Initialization FAILED: acl2-status.txt should contain :INITIALIZED.
make[2]: *** [check_init_ok] Error 1
make[2]: Leaving directory `/build/user-acl2_3.6-3-amd64-rcrt4i/acl2-3.6'
make[1]: *** [init] Error 2
make[1]: Leaving directory `/build/user-acl2_3.6-3-amd64-rcrt4i/acl2-3.6'
make: *** [saved_acl2] Error 2
--
To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
