[Fink-users] Fink CLISP 2.29-2 + ACL2 = segfault

[David T. E. <eg...@cc...>]

I've installed the Fink CLISP package and downloaded ACL2 - a formal
methods package used in commercial chip verification.  You can get ACL2
from:

http://www.cs.utexas.edu/users/moore/acl2/

When I try to compile these sources with CLISP 2.29-2 on my Fink / MacOS X
system, it segfaults, specifically:

Compilation of file /Users/Shared/acl2-sources/axioms.lisp is finished.
;; Loading file axioms.fas ...
;; Loading of file axioms.fas is finished.
;; Loading file basis.lisp ...make: *** [full-small] Error 139

The Debian Linux / x86 install of CLISP has no such segfault.  What's up?

-David