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 <[EMAIL PROTECTED]> 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: [EMAIL PROTECTED], [EMAIL PROTECTED], [EMAIL PROTECTED], > gcl-devel@gnu.org > From: Camm Maguire <[EMAIL PROTECTED]> > 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 [EMAIL > PROTECTED] > ========================================================================== > "The earth is but one country, and mankind its citizens." -- Baha'u'llah > > > -- Camm Maguire [EMAIL PROTECTED] ========================================================================== "The earth is but one country, and mankind its citizens." -- Baha'u'llah _______________________________________________ Gcl-devel mailing list Gcl-devel@gnu.org http://lists.gnu.org/mailman/listinfo/gcl-devel