[Gcl-devel] Re: SGC disabled on Mac >= 2.6.6

[Matt Kaufmann]

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