[Gcl-devel] Re: GCL on Redhat FC1

[Camm Maguire]

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