[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Gcl-devel] acl2 compiles on Mac OS X

From: Aurelien Chanudet
Subject: [Gcl-devel] acl2 compiles on Mac OS X
Date: Sun, 7 Sep 2003 09:49:00 +0200

Hi all,

As a quick follow-up, I've successfully built acl2 with gcl 2.7.0 on Mac OS X, and I've also successfully run 'make check' and 'make test' (which took ages to complete). SGC wasn't working up to now, because si_addr didn't contain the faulting address due to a bug in Darwin ; this is now fixed. But I still have some work to do : most notably I had to temporarily disable lazy symbol binding at runtime for `saved_acl2', and I have to enable it back.


reply via email to

[Prev in Thread] Current Thread [Next in Thread]