[Gcl-devel] acl2 compiles on Mac OS X

[Aurelien Chanudet]

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.

Aurelien