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
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