|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.
|[Prev in Thread]||Current Thread||[Next in Thread]|