[Gcl-devel] Re: GCL on Redhat FC1

[Matt Kaufmann]

Hi, Camm --

I don't know anything about setarch, but I'll deal with the questions you
addressed to me:

  1) Any chance to look over the acl2-2.7-8 deb?

Sorry, I've been pretty swamped.  (I feel a bit sheepish saying that to you,
since you probably work even harder than I do.)  I just arranged for two days'
vacation this week in order to catch up, and that's one of the things I intend
to do.  If it's easy, would you remind me of where to fetch this?  (I fetched
this or something like it once, but I'm planning to start from scratch.)

  2) Did the compiler fix work for you?

I didn't know anything about this except the example Erik Reeber sent, and I
figured you tested that already.  I confess that I build GCL so rarely that I
always have to look things up (in particular where to fetch it and how to use
the patch program).  So I punted because I figured i had little to add anyhow.

-- Matt
   Cc: address@hidden, root <address@hidden>, address@hidden, address@hidden,
           address@hidden
   From: Camm Maguire <address@hidden>
   Date: 08 Mar 2004 16:38:32 -0500
   User-Agent: Gnus/5.09 (Gnus v5.9.0) Emacs/21.2
   Content-Type: text/plain; charset=us-ascii
   Reply-To: address@hidden
   Sender: address@hidden
   X-Listprocessor-Version: 8.2.10/020311/17:52 -- ListProc(tm) by CREN

   Greetings!  GCL is fully functional on FC1 without global exec-shield
   shutoff provided one makes use of 'setarch'.  Built gcl and acl2
   binaries are in my home directory provided by J. Shapiro.

   GCL
   1) setarch i386 ./configure (optional --enable-dynsysgmp, etc.)
   2) setarch i386 make

   ACL2
   1) setarch i386 make lisp=gcl
   2) setarch i386 ./saved_acl2

   etc.

   If there is a way in which a program can internally, i.e. from within,
   do its own 'setarch' and one can explain this to me, I'd be happy to
   put it in GCL, configured in when appropriate.  Or if someone can post
   the sources to setarch.  At the moment, the most convenient thing
   would appear to be to provide an acl2 (or maxima, gcl, axiom...)
   wrapper script with the setarch i386 explicitly provided.

   Matt --

   1) Any chance to look over the acl2-2.7-8 deb?
   2) Did the compiler fix work for you?  It is committed. BTW, we just
      passed the clisp high water mark on Paul Dietz' random testers
      (size 1000/8) with no failures.  Will proceed to the 10,000 size
      case and report further, but in any case its looking quite solid.
      We may be alone with clisp in this measure of compiler robustness,
      and of course in GCL's case the compile is much more aggressive, to
      native code.  Congrats to all the many people who've helped with
      this release, which (hopefully) should be soon now.

   Take care,

   "Matt Kaufmann" <address@hidden> writes:

   > Hi --
   > 
   > For Redhat Fedora Core 1 ACL2 users only:
   > 
   > In case you are using Redhat FC1 and are thinking of using GCL, you may 
want to
   > read the following note from Jonathan S. Shapiro, who tells me that the GCL
   > maintainer is working on the problem -- hence future versions of GCL may 
be OK
   > on Redhat FC1, but currently GCL cannot be built on that platform.
   > 
   >   It seems that the exec-shield changes that were introduced in Redhat
   >   Fedora Core 1 (FC1) render GCL non-functional. There is a workaround,
   >   but it requires disabling a major FC1 security feature, which is
   >   inadvisable.
   > 
   >   The best solution for the moment is to use CMUCL instead, which runs
   >   fine under Fedore Core 1. After installing CMUCL, I successfully built
   >   ACL2 with the command
   > 
   >      make LISP=lisp
   > 
   >   We have made the relevant RPM files available from the Systems Research
   >   Laboratory at Johns Hopkins University. If you like, you can simply
   >   download them from:
   > 
   >      http://srl.cs.jhu.edu/YUM/srl-stuff
   > 
   > -- Matt
   > 
   > 
   > 
   > 

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