[Gcl-devel] Re: ACL2 Version 4.0

[Matt Kaufmann]

Hi, Camm --

I don't seem to have the files you requested.  Below is my attempt to
find them.

  ~/lisps/gcl/gcl-2.6.8pre$ find . -name mach-o -print
  ~/lisps/gcl/gcl-2.6.8pre$ find . -name mach -print
  ~/lisps/gcl/gcl-2.6.8pre$ find . -name mach/mach.h -print
  ~/lisps/gcl/gcl-2.6.8pre$ find . -name mach.h -print
  ~/lisps/gcl/gcl-2.6.8pre$ find . -name loader.h -print
  ~/lisps/gcl/gcl-2.6.8pre$ find . -name nlist.h -print
  ~/lisps/gcl/gcl-2.6.8pre$ ls -l
  total 2040
  -rw-r--r--    1 kaufmann  staff     212 Dec  6  1999 AC_FD_CC
  -rw-r--r--    1 kaufmann  staff       6 Dec  6  1999 AC_FD_MSG
  -rwxr-xr-x    1 kaufmann  staff   25265 Dec  6  1999 COPYING.LIB-2.0
  drwxr-xr-x    7 kaufmann  staff     238 Jul 26 02:53 CVS
  -rwxr-xr-x    1 kaufmann  staff  121450 Oct 26  2006 ChangeLog
  -rwxr-xr-x    1 kaufmann  staff    7244 Feb  3  2002 ChangeLog.old
  -rw-r--r--    1 kaufmann  staff    1209 Jun 12  2004 README.openbsd
  -rw-r--r--    1 kaufmann  staff    5397 Mar  2  2003 RELEASE-2.5.1
  -rw-r--r--    1 kaufmann  staff   59053 Jun 25  2004 RELEASE-2.6.2.html
  -rw-r--r--    1 kaufmann  staff    4993 Feb 23  2009 acconfig.h
  -rwxr-xr-x    1 kaufmann  staff    4092 Dec  9  2000 add-defs
  -rwxr-xr-x    1 kaufmann  staff    1647 Dec  6  1999 add-defs.bat
  -rwxr-xr-x    1 kaufmann  staff    2200 Jun  6  2002 add-defs1
  drwxr-xr-x  314 kaufmann  staff   10676 Jul 26 02:54 ansi-tests
  -rw-r--r--    1 kaufmann  staff   13593 Oct 15  2002 bfdtest.c
  drwxr-xr-x   13 kaufmann  staff     442 Jul 26 02:56 bin
  drwxr-xr-x   47 kaufmann  staff    1598 Jul 26 02:54 binutils
  drwxr-xr-x   21 kaufmann  staff     714 Jul 26 02:54 clcs
  drwxr-xr-x   41 kaufmann  staff    1394 Jul 26 02:54 cmpnew
  drwxr-xr-x   33 kaufmann  staff    1122 Jul 26 02:54 comp
  -rw-r--r--    1 kaufmann  staff    2777 Jul 26 02:56 config.cache
  -rwxr-xr-x    1 kaufmann  staff   43830 Aug 11  2005 config.guess
  -rw-r--r--    1 kaufmann  staff   14509 Jul 26 02:56 config.log
  -rwxr-xr-x    1 kaufmann  staff   15945 Jul 26 02:56 config.status
  -rwxr-xr-x    1 kaufmann  staff   31544 Aug 11  2005 config.sub
  -rwxr-xr-x    1 kaufmann  staff  176772 Jul 16 09:07 configure
  -rw-r--r--    1 kaufmann  staff   26439 Jul 30  2002 configure-new.ac
  -rw-r--r--    1 kaufmann  staff   52065 Jul 16 09:07 configure.in
  drwxr-xr-x   33 kaufmann  staff    1122 Jul 26 02:54 debian
  drwxr-xr-x   17 kaufmann  staff     578 Jul 26 02:54 doc
  drwxr-xr-x   11 kaufmann  staff     374 Jul 26 02:54 dos
  drwxr-xr-x   13 kaufmann  staff     442 Jul 26 02:54 elisp
  -rwxr-xr-x    1 kaufmann  staff    2666 Dec  6  1999 eval.html
  -rwxr-xr-x    1 kaufmann  staff    1945 Dec  6  1999 eval.tcl
  -rwxr-xr-x    1 kaufmann  staff    2602 Dec  6  1999 faq
  drwxr-xr-x   39 kaufmann  staff    1326 Jul 26 02:54 gcl-tk
  -rw-r--r--    1 kaufmann  staff   23502 Jul 17  2003 gcl.ico
  -rwxr-xr-x    1 kaufmann  staff   24640 Dec  6  1999 gcl.jpg
  -rw-r--r--    1 kaufmann  staff   12437 Jan 19  2002 gcl.png
  -rwxr-xr-x    1 kaufmann  staff   17006 Dec  6  1999 gcl1.jpg
  -rw-r--r--    1 kaufmann  staff    5737 Dec  6  1999 gcl2.jpg
  -rw-r--r--    1 kaufmann  staff     677 Jul 30  2002 gmp.patch
  drwxr-xr-x  156 kaufmann  staff    5304 Jul 26 02:57 gmp4
  -rw-r--r--    1 kaufmann  staff       0 Jul 26 02:57 gmp_all
  drwxr-xr-x    4 kaufmann  staff     136 Jul 26 02:54 go
  drwxr-xr-x  164 kaufmann  staff    5576 Jul 26 02:56 h
  drwxr-xr-x   33 kaufmann  staff    1122 Jul 26 02:54 info
  -rw-r--r--    1 kaufmann  staff    5490 Dec  6  1999 install.sh
  -rw-r--r--    1 kaufmann  staff   12825 Mar 21  2004 japitest.lsp
  drwxr-xr-x   60 kaufmann  staff    2040 Jul 26 02:54 lsp
  -rw-r--r--    1 kaufmann  staff  156479 Aug  9  2002 ltmain.sh
  -rw-r--r--    1 kaufmann  staff      11 Jul 26 02:56 machine
  -rwxr-xr-x    1 kaufmann  staff    1705 Jun 15  2006 machines
  -rwxr-xr-x    1 kaufmann  staff       2 Dec  6  1999 majvers
  -rwxr-xr-x    1 kaufmann  staff    2204 Dec 18  2001 makdefs
  -rw-r--r--    1 kaufmann  staff    1304 Jul 26 02:56 makedefc
  -rw-r--r--    1 kaufmann  staff    1411 Nov 30  2007 makedefc.in
  -rw-r--r--    1 kaufmann  staff    2487 Jul 26 02:56 makedefs
  -rw-r--r--    1 kaufmann  staff      35 Jul 26 02:56 makedefsafter
  -rw-r--r--    1 kaufmann  staff   11377 Jul 20 09:44 makefile
  drwxr-xr-x    4 kaufmann  staff     136 Jul 26 02:54 man
  -rwxr-xr-x    1 kaufmann  staff   12238 Dec  6  1999 merge.c
  -rwxr-xr-x    1 kaufmann  staff       4 Sep 29  2005 minvers
  drwxr-xr-x   12 kaufmann  staff     408 Jul 26 02:54 misc
  drwxr-xr-x   32 kaufmann  staff    1088 Jul 26 02:54 mp
  drwxr-xr-x  327 kaufmann  staff   11118 Jul 26 02:57 o
  drwxr-xr-x   48 kaufmann  staff    1632 Jul 26 02:54 pcl
  -rw-r--r--    1 kaufmann  staff   12123 May 15  2000 readme
  -rw-r--r--    1 kaufmann  staff     810 Jan 10  2006 readme-bin.mingw
  -rw-r--r--    1 kaufmann  staff     915 May 11  2001 readme.gmp
  -rwxr-xr-x    1 kaufmann  staff    3575 Jun 17  2004 readme.mingw
  -rw-r--r--    1 kaufmann  staff    3046 Aug 30  2006 readme.xgcl
  drwxr-xr-x   40 kaufmann  staff    1360 Jul 26 02:57 unixport
  drwxr-xr-x   10 kaufmann  staff     340 Jul 26 02:54 utils
  drwxr-xr-x   10 kaufmann  staff     340 Jul 26 02:56 windows
  drwxr-xr-x   39 kaufmann  staff    1326 Jul 26 02:54 xbin
  drwxr-xr-x   53 kaufmann  staff    1802 Jul 26 02:54 xgcl-2
  ~/lisps/gcl/gcl-2.6.8pre$ 

I'll see what I can find in the way of Intel Macs....

-- Matt
   cc: address@hidden
   From: Camm Maguire <address@hidden>
   Date: Mon, 26 Jul 2010 18:21:10 -0400
   X-SpamAssassin-Status: No, hits=-2.6 required=5.0
   X-UTCS-Spam-Status: No, hits=-252 required=165

   Greetings1

   Matt Kaufmann <address@hidden> writes:

   > Hi, Camm --
   >
   > I'd be very happy to give you access to my laptop, which is the Intel
   > box in question (which is running Mac OS 10.6.4, by the way).  But I
   > don't know how to do it.  I think could create an account, but how do

   Well, this looks difficult.  It would be great if you could send me
   these files:

   #include <mach-o/loader.h>
   #include <mach-o/nlist.h>

   #include <mach/mach.h>

   Separately, if you are interested, I can send you a small patch that
   steps around rsym_macosx all together.  Of course, if you are still on
   vacation, please don't bother about this until you get home!  If there
   is a machine at ut you could point me to, that of course would be
   great, but if you'd have to ask David Ranger, perhaps I could just
   email him myself.

   Last update, gcl can now run cross compiled for windows on Linux under
   wine.  maxima just passed all its tests.  Checking acl2 ....  The idea
   being to get one tree verified on both these seldom used machines (mac
   and windows) and then finalize gcl 2.6.8.

   Take care,

   > -- Matt
   >    From: Camm Maguire <address@hidden>
   >    Date: Mon, 26 Jul 2010 11:07:47 -0400
   >    X-SpamAssassin-Status: No, hits=0.2 required=5.0
   >    X-UTCS-Spam-Status: No, hits=-180 required=165
   >
   >    Greetings!  Sigh.  I was afraid of this.  There are multiple versions
   >    of mac os x out there which apparently differ in significant ways.
   >    Not sure of the versioning system, but 10.4, 10.5, and 10.6 sound
   >    familiar.  This code was well tested on the axiom intel mac box. Could
   >    you please provide access to the box in question?
   >
   >    Take care,
   >    -- 
   >    Camm Maguire                                        address@hidden
   >    
==========================================================================
   >    "The earth is but one country, and mankind its citizens."  --  
Baha'u'llah
   >
   >
   >
   >

   -- 
   Camm Maguire                                     address@hidden
   ==========================================================================
   "The earth is but one country, and mankind its citizens."  --  Baha'u'llah