Re: [Gcl-devel] acl2 compiles on Mac OS X

[Camm Maguire]

Greetings!  Great work!

Aurelien Chanudet <address@hidden> writes:

> 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.

What is lazy symbol binding?

Take care,

> 
> Aurelien
> 
> 
> 
> _______________________________________________
> Gcl-devel mailing list
> address@hidden
> http://mail.gnu.org/mailman/listinfo/gcl-devel
> 
> 
> 

-- 
Camm Maguire                                            address@hidden
==========================================================================
"The earth is but one country, and mankind its citizens."  --  Baha'u'llah