[Gcl-devel] Re: GCL on Redhat FC1

[Camm Maguire]

Greetings!

Matt Kaufmann <address@hidden> writes:

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

Yes this is current, and the one below an earlier draft.

I should mention that due to a bug files against the acl2 package,
I'll have to split it up further in the future -- source and cert
files will likely go into their own package, perhaps acl2-common.
This is because arch independent data, under /usr/share, should not be
replicated 11 times for each binary platform.  Other than this, I have
no other pending work at this time on this, barring problems you might
find, of course.

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

OK, will try to fix.  Hope to shortly move/copy to ftp.gnu.org in any
case. 

Take care,

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

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