acl2 6.0-2 FTBFS on armhf

Bug #1152898 reported by Stefano Rivera on 2013-03-09
6
This bug affects 1 person
Affects Status Importance Assigned to Milestone
acl2 (Ubuntu)
Undecided
Unassigned

Bug Description

Full build log:
https://launchpadlibrarian.net/130207594/buildlog_ubuntu-raring-armhf.acl2_6.0-2_FAILEDTOBUILD.txt.gz

Snippet:
make[4]: Entering directory `/build/buildd/acl2-6.0/books/ihs'
Making /build/buildd/acl2-6.0/books/ihs/ihs-doc-topic.cert on Sat Feb 2 14:35:09 UTC 2013
-rw-rw-r-- 1 buildd buildd 241 Feb 2 14:35 ihs-doc-topic.cert
Making /build/buildd/acl2-6.0/books/ihs/ihs-init.cert on Sat Feb 2 14:35:12 UTC 2013
-rw-rw-r-- 1 buildd buildd 756 Feb 2 14:35 ihs-init.cert
Making /build/buildd/acl2-6.0/books/ihs/ihs-theories.cert on Sat Feb 2 14:35:20 UTC 2013
-rw-rw-r-- 1 buildd buildd 810 Feb 2 14:35 ihs-theories.cert
Making /build/buildd/acl2-6.0/books/ihs/math-lemmas.cert on Sat Feb 2 14:35:25 UTC 2013
-rw-rw-r-- 1 buildd buildd 2321 Feb 2 14:35 math-lemmas.cert
Making /build/buildd/acl2-6.0/books/ihs/quotient-remainder-lemmas.cert on Sat Feb 2 14:35:36 UTC 2013
Illegal instruction

It builds on my chromebook (Exynos5), so I can't obviously see what's wrong, but I've attached the related files from the debs.

Stefano Rivera (stefanor) wrote :
Stefano Rivera (stefanor) wrote :
Stefano Rivera (stefanor) wrote :
Colin Watson (cjwatson) wrote :

Since there are no reverse-dependencies outside the acl2 source package, I've removed the armhf binaries to allow the new source to progress into raring.

I did try to reproduce this myself, but got a different error (on a Nexus 7):

Error: Caught fatal error [memory may be damaged]
Fast links are on: do (si::use-fast-links nil) for debugging
Error signalled by PROGN.
Broken at SYSTEM:SAVE-SYSTEM. Type :H for Help.
>>make: *** [saved_acl2] Error 255

To post a comment you must log in.
This report contains Public information  Edit
Everyone can see this information.

Other bug subscribers