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




reply via email to

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