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