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 ------------------------------------------------------- This sf.net email is sponsored by:ThinkGeek Welcome to geek heaven. http://thinkgeek.com/sf _______________________________________________ Fink-users mailing list [EMAIL PROTECTED] https://lists.sourceforge.net/lists/listinfo/fink-users
