[Top][All Lists]

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

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

From: Camm Maguire
Subject: Re: [Gcl-devel] acl2 compiles on Mac OS X
Date: 08 Sep 2003 17:45:59 -0400
User-agent: Gnus/5.09 (Gnus v5.9.0) Emacs/21.2

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

reply via email to

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