acl2 version 4.2 failed to build on armel
| Affects | Status | Importance | Assigned to | Milestone | |
|---|---|---|---|---|---|
| acl2 (Ubuntu) |
Fix Released
|
Undecided
|
Unassigned | ||
| Oneiric |
Won't Fix
|
Undecided
|
Unassigned | ||
Bug Description
acl2 version 4.1-5 failed to build on armel
Link to failed build: https:/
Direct link to the build log: https:/
This log snippet might be of interest, since it triggered the matcher 'Purging chroot-autobuild'.
Excerpt 5402 lines into the build log:
Dedicated to the memory of W. Schelter
Use (help) to get some basic information on how to use GCL.
Temporary directory for compiler files set to /tmp/
>
Loading debian/
Finished loading debian/
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
dpkg-buildpackage: error: debian/rules build gave error exit status 2
*******
Build finished at 20110323-1129
FAILED [dpkg-buildpackage died]
Purging chroot-
| Jani Monoses (jani) wrote | #1 |
| summary: |
- acl2 version 4.1-5 failed to build on armel + acl2 version 4.2 failed to build on armel |
| tags: | added: oneiric |
| Changed in acl2 (Ubuntu): | |
| milestone: | none → oneiric-alpha-2 |
| Changed in acl2 (Ubuntu): | |
| milestone: | oneiric-alpha-2 → oneiric-alpha-3 |
| Changed in acl2 (Ubuntu Oneiric): | |
| milestone: | oneiric-alpha-3 → none |
| status: | New → Confirmed |
| tags: | added: universe |
| Jani Monoses (jani) wrote | #2 |
| Changed in acl2 (Ubuntu): | |
| status: | Confirmed → Fix Released |
| Rolf Leggewie (r0lf) wrote | #3 |
| Changed in acl2 (Ubuntu Oneiric): | |
| status: | Confirmed → Won't Fix |
Same with 4.2 in Oneiric. The package is quite busted as only the PPC build succeeded though.