acl2 6.0-2 FTBFS on armhf
Affects | Status | Importance | Assigned to | Milestone | |
---|---|---|---|---|---|
acl2 (Ubuntu) |
Fix Released
|
Undecided
|
Unassigned |
Bug Description
Full build log:
https:/
Snippet:
make[4]: Entering directory `/build/
Making /build/
-rw-rw-r-- 1 buildd buildd 241 Feb 2 14:35 ihs-doc-topic.cert
Making /build/
-rw-rw-r-- 1 buildd buildd 756 Feb 2 14:35 ihs-init.cert
Making /build/
-rw-rw-r-- 1 buildd buildd 810 Feb 2 14:35 ihs-theories.cert
Making /build/
-rw-rw-r-- 1 buildd buildd 2321 Feb 2 14:35 math-lemmas.cert
Making /build/
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.
Changed in acl2 (Ubuntu): | |
status: | New → Fix Released |
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