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

[Camm Maguire]

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.

BTW, the acl2-2.9.1 symlink is dangling.

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.

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