[Top][All Lists]

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

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

From: Omar El-Domeiri
Subject: Re: [Gcl-devel] Volunteering for Mac OS X port.
Date: Sun, 9 Feb 2003 21:39:39 -0600
User-agent: Mutt/1.2.5i


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?


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

reply via email to

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