Source: acl2 Version: 6.1-3 Severity: serious Tags: jessie sid User: [email protected] 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. -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected]
