Your message dated Fri, 15 Jul 2011 10:03:13 -0400
with message-id <e1qhiz3-0006oz...@localhost.m.enhanced.com>
and subject line acl2: ftbfs with gcc-4.5
has caused the Debian Bug report #564845,
regarding acl2: ftbfs with gcc-4.5
to be marked as done.
This means that you claim that the problem has been dealt with.
If this is not the case it is now your responsibility to reopen the
Bug report if necessary, and/or fix the problem forthwith.
(NB: If you are a system administrator and have no idea what this
message is talking about, this may indicate a serious mail system
misconfiguration somewhere. Please contact ow...@bugs.debian.org
immediately.)
--
564845: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=564845
Debian Bug Tracking System
Contact ow...@bugs.debian.org with problems
--- Begin Message ---
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/TMP@25825@1.c\" -o \"/tmp/TMP@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
--- End Message ---
--- Begin Message ---
Verified 4.1 works with gcc-4.5.
Take care,
--
Camm Maguire c...@maguirefamily.org
==========================================================================
"The earth is but one country, and mankind its citizens." -- Baha'u'llah
--- End Message ---
