[Gcl-devel] Re: xgcl incorporation

[Camm Maguire]

Greetings!

My suggestion is to request that your administrators setup a dchroot
subsystem tracking Debian unstable, and then give you and a few others
sudo priveleges to install packages from this distribution in this
subsystem. 

It sounds complicated, but is really quite simple.  All one needs is a
few gig of free diskspace somewhere, and at least initial root
privileges to setup it up.  Then, on the same computer running a
stable distribution, an authorized user can execute "dchroot -c
unstable /usr/bin/emacs" and one can have an emacs on the same box
running the latest distributed software.  In same, one can 'apt-get
install acl2-books' or whatever without affecting the surrounding
stable system.  In another window, another emacs could simultanously
be running under the stable distribution.

My understanding is that you guys run ubuntu, which is built atop
Debian, so you should be able to pull Debian packages freely.  Please
let me know if this sounds like a possibility, and I'll provide the
details.  Otherwise there are two options:  1) installing compatible
libc, etc., and setting up LD_LIBRARY_PATH and LD_PRELOAD to execute
code, which is downloaded and installed one at a time as you have
done, or 2) have me or someone else build the packages under an older
libc in a stable distribution, in which case there are fewer but still
some manual downloads and unpacks one must do.

Take care,

Matt Kaufmann <address@hidden> writes:

> Hi, Camm --
> 
> Great!
> 
> I don't use Debian much, so I don't quite know what to do.  I did this,
> following instructions I'd placed some time ago in ACL2's installation
> instructions.
> 
> % wget 'http://ftp.debian.org/debian/pool/main/a/acl2/acl2_3.0-1_i386.deb'
> % ar x acl2_3.0-1_i386.deb
> % tar xvfz data.tar.gz >& tar.log
> 
> I don't have root privileges so I suspect this is basically right, though I
> would need to edit usr/bin/acl2 -- but it's incomplete:
> 
> As I'm sure you know, the above doesn't give me the books.  So I suppose I 
> also
> need to fetch acl2-books_3.0-1_i386.deb, acl2-books-source_3.0-1_all.deb,
> and/or acl2-books-certs_3.0-1_all.deb.  And I guess that then, I somehow need
> to extract and merge into what I extracted above.  Probably I need to fetch
> some more stuff, too.
> 
> Can you suggest a sequence of commands that I can make available for other 
> ACL2
> users (which I imagine will work for non-Debian users of Linux as well)?  I've
> heard of apt-get but haven't used it -- maybe there's a single apt-get command
> I can execute that will give me a binary distribution that includes everything
> (including documentation, emacs, and distributed books)?
> 
> Thanks --
> -- Matt
>    Cc: address@hidden, address@hidden, address@hidden,
>          address@hidden
>    From: Camm Maguire <address@hidden>
>    Date: 13 Jun 2006 10:59:41 -0400
>    X-SpamAssassin-Status: No, hits=-2.4 required=5.0
>    X-UTCS-Spam-Status: No, hits=-237 required=200
> 
>    Greetings!  Just a quick note that I've uploaded trial gcl, maxima,
>    and acl2 3.0 packages to Debian based on the current xgcl integrated
>    2.6.8pre code (the gcl package number is 2.6.7-15).  All looks good
>    here -- am waiting for the autobuilders to complete.  Will try to
>    check the 64bit xgcl and axiom.  After this, it might be helpful
>    for whoever is interested at UT to put 2.6.8pre through their own
>    tests.  Then we can release it.  If this sounds good, I'll post a note
>    when 2.6.8pre has finished all my tests.
> 
>    You can look at the acl2 packages here:
> 
>    http://ftp.debian.org/debian/pool/main/a/acl2/
> 
>    And here:
> 
>    http://packages.debian.org/unstable/math/acl2
> 
>    Comments most appreciated.
> 
>    Take care,
>    -- 
>    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