[Gcl-devel] Re: GCL on Redhat FC1

[Matt Kaufmann]

I didn't find debian/pool/main/a/acl2/acl2_2.7-8_i386.deb on ftp.debian.org,
but I did find acl2_2.7-9_i386.deb there.  I presume that I should look at
these instead; is that right?

ftp://ftp.debian.org/debian/pool/main/a/acl2/acl2_2.7-9_i386.deb
ftp://ftp.debian.org/debian/pool/main/a/acl2/acl2-doc_2.7-9_all.deb

But I do notice the 2.7-8 versions at http://people.debian.org/~camm/; should I
look at those instead?

By the way, http://people.debian.org/~camm/gcl/ refers to HOWTO-UNPACK-DEBS,
but the filename appears now to be "howto".

Thanks --
-- Matt
   Cc: address@hidden
   From: Camm Maguire <address@hidden>
   Date: 08 Mar 2004 18:06:34 -0500
   User-Agent: Gnus/5.09 (Gnus v5.9.0) Emacs/21.2
   Content-Type: text/plain; charset=us-ascii

   Greetings!

   Matt Kaufmann <address@hidden> writes:

   > 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.)
   > 

   No problem, no rush.  You can look whenever convenient at

   ftp://ftp.debian.org/debian/pool/main/a/acl2/acl2_2.7-8_i386.deb
   ftp://ftp.debian.org/debian/pool/main/a/acl2/acl2-doc_2.7-8_all.deb

   And I do not accept that I work harder!  I've looked at acl2 and ....


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

   OK

   Take care,

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

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