[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Axiom-developer] Re: GCL on Redhat FC1

From: Matt Kaufmann
Subject: [Axiom-developer] Re: GCL on Redhat FC1
Date: Mon, 8 Mar 2004 15:55:43 -0600

I've emailed directly to you answers to your questions to me, but I want to
thank you publicly for all your GCL efforts!

-- Matt
   Cc: address@hidden, root <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.

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

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


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

   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]