Your message dated Fri, 30 Aug 2013 09:14:20 -0400
with message-id <874na7l3rn....@maguirefamily.org>
and subject line acl2 FTBFS
has caused the Debian Bug report #712362,
regarding acl2: FTBFS: ls: cannot access bvecs.cert: No such file or directory
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.)
--
712362: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=712362
Debian Bug Tracking System
Contact ow...@bugs.debian.org with problems
--- Begin Message ---
Source: acl2
Version: 6.1-3
Severity: serious
Tags: jessie sid
User: debian...@lists.debian.org
Usertags: qa-ftbfs-20130609 qa-ftbfs
Justification: FTBFS on amd64
Hi,
During a rebuild of all packages in sid, your package failed to build on
amd64.
Relevant part:
> | start address -T 0xc5bbfb0 Finished loading
> /«PKGBUILDDIR»/books/data-structures/no-duplicates.o
> | start address -T 0x76bb000 Finished loading
> /«PKGBUILDDIR»/books/clause-processors/witness-cp.o
> | start address -T 0x1c14f60 Finished loading
> /«PKGBUILDDIR»/books/centaur/misc/witness-cp.o
> | start address -T 0x5f17ce0 Finished loading
> /«PKGBUILDDIR»/books/centaur/misc/equal-sets.o
> | start address -T 0xf78000 Finished loading
> /«PKGBUILDDIR»/books/centaur/misc/hons-alphorder-merge.o
> | start address -T 0x78a6920 Finished loading
> /«PKGBUILDDIR»/books/centaur/aig/base.o
> | start address -T 0x62a5000 Finished loading
> /«PKGBUILDDIR»/books/centaur/aig/witness.o
> | start address -T 0x770b000 Finished loading
> /«PKGBUILDDIR»/books/centaur/gl/bfr.o
> | [SGC for 3000 CONS pages..(64194 writable)..(T=2).GC finished]
> | [SGC for 3000 CONS pages..(64299 writable)..(T=2).GC finished]
> | [SGC for 3000 CONS pages..(64367 writable)..(T=2).GC finished]
> | [SGC for 3000 CONS pages..(64739 writable)..(T=3).GC finished]
> | [SGC for 3000 CONS pages..(65292 writable)..(T=2).GC finished]
> | [SGC for 10019 CONS pages..(72757 writable)..(T=4).GC finished]
> | [SGC off]
> | Error: Caught fatal error [memory may be damaged]
> | Fast links are on: do (si::use-fast-links nil) for debugging
> | Error signalled by PROG1.
> | Backtrace: funcall > eval > lp > let* > let > cond > let* > prog1 >
> ev-rec > system::break-level-for-acl2 > let* > UNLESS
> | ACL2 !>Bye.
> | bvecs.cert seems to be missing
>
> make:
> *** [debian/test.log] Error 2
> **CERTIFICATION FAILED** for /«PKGBUILDDIR»/books/centaur/gl/bvecs.lisp
>
> make[3]: *** [centaur/gl/bvecs.cert] Error 1
The full build log is available from:
http://aws-logs.debian.net/ftbfs-logs/2013/06/09/acl2_6.1-3_unstable.log
A list of current common problems and possible solutions is available at
http://wiki.debian.org/qa.debian.org/FTBFS . You're welcome to contribute!
About the archive rebuild: The rebuild was done on EC2 VM instances from
Amazon Web Services, using a clean, minimal and up-to-date chroot. Every
failed build was retried once to eliminate random failures.
--- End Message ---
--- Begin Message ---
Greetings! I believe this issue is no longer relevant to the current
package. Please reopen if I'm mistaken.
Take care,
--
Camm Maguire c...@maguirefamily.org
==========================================================================
"The earth is but one country, and mankind its citizens." -- Baha'u'llah
--- End Message ---
