[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Gcl-devel] Re: GCL on Redhat FC1
From: |
Camm Maguire |
Subject: |
[Gcl-devel] Re: GCL on Redhat FC1 |
Date: |
09 Mar 2004 18:03:09 -0500 |
User-agent: |
Gnus/5.09 (Gnus v5.9.0) Emacs/21.2 |
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