[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Gcl-devel] Re: SGC disabled on Mac >= 2.6.6
From: |
Matt Kaufmann |
Subject: |
[Gcl-devel] Re: SGC disabled on Mac >= 2.6.6 |
Date: |
Sat, 15 Jan 2005 18:23:37 -0600 |
Howdy.
Camm Maguire <address@hidden> writes:
> Greetings! Sorry for the delay.
>
> Matt Kaufmann <address@hidden> writes:
>
> > Hi, Camm --
> >
> > Please see comments below.
> >
> > Cc: address@hidden, address@hidden
> > From: Camm Maguire <address@hidden>
> > Date: 09 Jan 2005 16:19:28 -0500
> > User-Agent: Gnus/5.09 (Gnus v5.9.0) Emacs/21.2
> > Content-Type: text/plain; charset=us-ascii
> > X-SpamAssassin-Status: No, hits=-2.6 required=5.0
> > X-UTCS-Spam-Status: No, hits=-322 required=180
> >
> > Greetings!
> >
> > Matt Kaufmann <address@hidden> writes:
> >
> > > Hi, Camm --
> > >
> > > If it's very easy, a minor change would be to replace "non-std" with
> > "nonstd",
> > > since the tar file is nonstd.tar.gz and we always call this "nonstd"
> > anyhow.
> > >
> >
> > Thanks! Done.
> >
> > Thanks.
> >
> > > I'm curious: If the user needs to fetch and compile sources, what
> > does the
> > > debian package offer beyond what is available directly from the ACL2
> > home page?
> >
> > Only the user who wants workshops and/or nonstd must fetch the
> > sources. At our last consultation on this matter, we thought these
> > users would be a small minority. If issues like these persist, we
> > should probably make binary packages of workshops and nonstd too.
> >
> > I think we did the right thing by avoiding binary packages for workshops and
> > nonstd. What I was wondering, though, was whether users who wants workshops
> > (or nonstd) would find it any easier to fetch the debian source package than
> > simply to fetch everything from the ACL2 web site. (I don't see why they
> > would
> > find that any easier, but that could be because I'm missing something; so
> > I'm
> > asking because I might learn of an advantage of debian source packages of
> > which
> > I was unaware.)
> >
>
> Oh, I see. Well, to begin, you can build packages from source with
> the same command one uses to install the binaries. (i.e. 'apt-get
> install acl2', apt-get source acl2 -compile). Build-dependencies are
> automatically verified before proceeding, and compilation aborts with
> a list of the needed dependencies if any are missing. There are even
> automated tools (e.g. pbuilder), to pull the source and all
> build-dependencies automatically into a special chroot sytem writable
> by a normal user, run the compile, spit out the final .deb binary
> package, and clean up all automatically.
Thank you for the explanation. I'll keep that in mind in case ACL2 becomes
dependent on anything besides a working Lisp implementation.
> BTW, the acl2-2.9.1 symlink is dangling.
We've fixed it. It's now a copy of the file I was trying to link to.
> Separately, as you know we are pushing out a quick 2.6.6 with minor
> bug fixes only. I'm disabling sgc on the Mac until Aurelien has time
> to look into the sgc/save instability. Not having sgc is not a big
> problem here is it? If memory serves, standard gc with
> *optimize-maximum-pages* was better in some respects. In any case,
> this should get acl2/gcl/mac users going out of the box without the
> (fmakunbound 'si::sgc-on) work-around.
Thanks (I don't use GCL on a Mac so I won't try to answer the question).
Thanks --
-- Matt
> Take care,
>
> > > (And by the way, the advantage of the binary distribution is clear to
> > me now; I
> > > really appreciate all your work on that!)
> >
> > No problem. And now I'm curious -- what has demonstrated the
> > advantage of a binary distribution in your mind?
> >
> > Oh, that's just my waking up, I guess. I see now that it's very convenient
> > to
> > push a button and get everything set up, especially not having to build a
> > binary.
> >
> > Thanks --
> > -- Matt
> > Take care,
> >
> > >
> > > -- Matt
> > > cc: Matt Kaufmann <address@hidden>, address@hidden
> > > From: Camm Maguire <address@hidden>
> > > Date: 08 Jan 2005 14:07:44 -0500
> > > User-Agent: Gnus/5.09 (Gnus v5.9.0) Emacs/21.2
> > > Content-Type: text/plain; charset=us-ascii
> > > X-SpamAssassin-Status: No, hits=-2.6 required=5.0
> > > X-UTCS-Spam-Status: No, hits=-322 required=180
> > >
> > > Greetings!
> > >
> > > OK the following text has been added to README.Debian, and will
> > appear
> > > when the next version is uploaded. As the overhead for building
> > acl2
> > > on all 12 platforms is rather large, I will likely wait for more
> > > substantive changes before uploading.
> > >
> > > Take care,
> > >
> > >
> > =============================================================================
> > > The ACL2 homepage points to two related packages which are not (yet)
> > > included in Debian -- the 'workshops' and 'non-std' packages. Users
> > > who wish to compile these sources are advised to retrieve and build
> > > the Debian source package as follows:
> > >
> > > apt-get -q -b source acl2
> > >
> > > You will need to ensure that the build-dependencies, as listed at
> > the
> > > head of the file debian/control in the retrieved source tree, are
> > > installed as well. Next, retrieve and unpack the auxiliary sources
> > > into place and compile them as explained in the upstream
> > documentation
> > > provided in the source tree.
> > >
> > > The binary package has been designed for the end-user, as is typical
> > > with all Debian binary packages, and not for the user who wants to
> > > compile related software, who should rather retrieve the source
> > > package as described above. Several files needed for building
> > > workshops and non-std are therefore missing from the binary package
> > > distribution.
> > >
> > > If you feel Debian binary packages of workshops and or non-std would
> > > be helpful, please send me an email to this effect. The upstream
> > > authors of ACL2 felt the need would be slight at best.
> > >
> > >
> > =============================================================================
> > >
> > > Josh Purinton <address@hidden> writes:
> > >
> > > > On 07 Jan 2005 16:14:41 -0500, Camm Maguire <address@hidden>
> > wrote:
> > > > > The package is currently designed with the idea that users who
> > want
> > > > > the non-std or workshops should get the source package, i.e.
> > apt-get
> > > > > -q source acl2. This is in keeping with most other *binary*
> > packages
> > > > > in Debian -- they are structured for an end-user, not someone
> > who
> > > > > wants to build other related packages.
> > > >
> > > > Thanks! That worked great. To a knowledgable Debian user, this
> > > > would probably be obvious. But for the rest of us, it might be
> > worthwhile to
> > > > note this in README.Debian.gz. (The first sentence of your
> > > > paragraph above would do nicely.)
> > > >
> > > > > This said, perhaps we should package the workshops as a binary
> > package
> > > > > too. Matt Kauffman felt the need would be slight at best.
> > > >
> > > > I suppose so. Also, that effort is probably better spent keeping
> > the core
> > > > ACL2 package up-to-date.
> > > >
> > > > Thanks for maintaining the ACL2 package for Debian! I use it
> > almost daily.
> > > >
> > > > --
> > > > Josh Purinton
> > > >
> > > >
> > > >
> > >
> > > --
> > > 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