Re: [Gcl-devel] Volunteering for Mac OS X port.

[Omar El-Domeiri]

Hi,

Where can I find more information about the issues ACL2 has
at this point.  I set out on this with hopes of having ACL2
on my mac os x laptop. Also, What will need to be done once
gcc 3.3 is here? will the problems just go away or will
gcl need some minor revamping?

-Omar

On Sun, Feb 09, 2003 at 10:03:37PM -0500, Camm Maguire wrote:
> Greetings!
> 
> Wonderful -- please keep us informed!  You may also want to look at
> the linux-powerpc port files, which is used by the Debian ppc GCL
> package.  On Debian, ppc is fully supported, with the exception that
> we will be needing the upcoming -mlongcalls gcc compiler switch which
> will be available here in the gcc 3.3 release.  Only a few large
> object loads in ACL2 are known to be affected.
> 
> Take care,
> 
> Take care,
> 
> -- 
> Camm Maguire                                          address@hidden
> ==========================================================================
> "The earth is but one country, and mankind its citizens."  --  Baha'u'llah
>