gcl-devel
[Top][All Lists]
Advanced

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

Re: [Gcl-devel] Re: ACL2 Version 4.0


From: Camm Maguire
Subject: Re: [Gcl-devel] Re: ACL2 Version 4.0
Date: Tue, 27 Jul 2010 13:41:42 -0400
User-agent: Gnus/5.11 (Gnus v5.11) Emacs/22.2 (gnu/linux)

Just a quick FYI.  If 

file unixport/rsym

gives

rsym: Mach-O 64-bit executable x86_64

(i.e. 64 bit mac), then it is likely a bit more work needs to be
done.  I've been told the relocation records are different, but until
now had no access to such a machine.  Thanks to R. Krug, have access
now and am investigating.  

How does one determine the mac os version?  uname on this new machine
shows 10.4.  Is this two versions behind Matt's box?

uname -a
Darwin megaera.csres.utexas.edu 10.4.0 Darwin Kernel Version 10.4.0: Fri Apr 23 
18:28:53 PDT 2010; root:xnu-1504.7.4~1/RELEASE_I386 i386

Take care,

Matt Kaufmann <address@hidden> writes:

> P.S. I think the "HARD ACL2 ERROR in CBD" problem will go away once we
> solve the basic problem related to pathname-device, as I described in
> my preceding email.
>
>
>
>

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