[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Gcl-devel] Re: ACL2 Version 4.0
From: |
Matt Kaufmann |
Subject: |
Re: [Gcl-devel] Re: ACL2 Version 4.0 |
Date: |
Tue, 27 Jul 2010 15:38:18 -0500 |
Hmmm... here is a relevant log. I found "sw_vers" with google. I
think 10.6.4 is right for the Mac OS version -- I don't know why uname
says 10.4.0.
~/lisps/gcl/gcl-2.6.8pre$ sw_vers
ProductName: Mac OS X
ProductVersion: 10.6.4
BuildVersion: 10F569
~/lisps/gcl/gcl-2.6.8pre$ uname -a
Darwin Matt-Kaufmanns-MacBook-Pro.local 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
~/lisps/gcl/gcl-2.6.8pre$ unixport/rsym
The assertion !stat(argv[1],&ss) on line 48 of rsym_macosx.c in function main
failed~/lisps/gcl/gcl-2.6.8pre$
-- Matt
Cc: address@hidden, Robert Krug <address@hidden>
From: Camm Maguire <address@hidden>
Date: Tue, 27 Jul 2010 13:41:42 -0400
X-SpamAssassin-Status: No, hits=-2.6 required=5.0
X-UTCS-Spam-Status: No, hits=-215 required=165
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
- [Gcl-devel] Re: ACL2 Version 4.0, (continued)
- [Gcl-devel] Re: ACL2 Version 4.0, Matt Kaufmann, 2010/07/26
- Re: [Gcl-devel] Re: ACL2 Version 4.0, George W. Dinolt, 2010/07/26
- Re: [Gcl-devel] Re: ACL2 Version 4.0, Camm Maguire, 2010/07/27
- Re: [Gcl-devel] Re: ACL2 Version 4.0, Matt Kaufmann, 2010/07/27
- Re: [Gcl-devel] Re: ACL2 Version 4.0, Camm Maguire, 2010/07/27
- Re: [Gcl-devel] Re: ACL2 Version 4.0, Matt Kaufmann, 2010/07/27
- Re: [Gcl-devel] Re: ACL2 Version 4.0, Camm Maguire, 2010/07/27
- Re: [Gcl-devel] Re: ACL2 Version 4.0, Matt Kaufmann, 2010/07/27
- Re: [Gcl-devel] Re: ACL2 Version 4.0, Matt Kaufmann, 2010/07/27
- Re: [Gcl-devel] Re: ACL2 Version 4.0, Camm Maguire, 2010/07/27
- Re: [Gcl-devel] Re: ACL2 Version 4.0,
Matt Kaufmann <=
- Re: [Gcl-devel] Re: ACL2 Version 4.0, Camm Maguire, 2010/07/27
- Re: [Gcl-devel] Re: ACL2 Version 4.0, Matt Kaufmann, 2010/07/27
- Re: [Gcl-devel] Re: ACL2 Version 4.0, Camm Maguire, 2010/07/27
- Re: [Gcl-devel] Re: ACL2 Version 4.0, Matt Kaufmann, 2010/07/28
- [Gcl-devel] gcl-2.6.8, Camm Maguire, 2010/07/28
- Re: [Gcl-devel] gcl-2.6.8, Gabriel Dos Reis, 2010/07/29
- Re: [Gcl-devel] gcl-2.6.8, Camm Maguire, 2010/07/30
- Re: [Gcl-devel] gcl-2.6.8, Gabriel Dos Reis, 2010/07/30
- Re: [Gcl-devel] Re: ACL2 Version 4.0, Camm Maguire, 2010/07/27
- Re: [Gcl-devel] Re: ACL2 Version 4.0, Matt Kaufmann, 2010/07/27