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: gcl-devel@gnu.org, Robert Krug <desti...@mac.com> From: Camm Maguire <c...@maguirefamily.org> 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 <kaufm...@cs.utexas.edu> 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 c...@maguirefamily.org ========================================================================== "The earth is but one country, and mankind its citizens." -- Baha'u'llah _______________________________________________ Gcl-devel mailing list Gcl-devel@gnu.org http://lists.gnu.org/mailman/listinfo/gcl-devel