Hi Camm, Have you had a chance to commit your most recent changes. I'd like to do a test build of what you think is the final CVS tree.
Best, _don On Tue, Aug 3, 2010 at 5:06 PM, Camm Maguire <[email protected]> wrote: > Greetings! > > Matt Kaufmann <[email protected]> writes: > > > Cool! Well done! > > > > By the way, I've been thinking about the pending ACL2/Debian problem, > > related to moving .cert files, and I have an idea for how to modify > > ACL2 to solve it. I'm awaiting a reply on an email I sent a day ago > > to someone else before doing anything serious on it. > > > > Great! Let me know when you're ready. > > I managed to get a 64bit mac build too. A few issues with maxima I'm > chasing down now, but flawless acl2 certs. > > It appears we're getting close to a gcl release. You might recall out > having used static builds in the past to enable 32bit linux machines > to use up to 3gig memory as opposed to the usual 1gig limit (imposed > by the load address of shared libraries.) Warren told me at one time > that this was useful in getting the most out of 32bit, especially as > 64bit comes with its own overhead of bigger pointers. In addition, > the binary of course is completely portable. Is this important to > support? There appear to have been some libc developments which will > have to be worked around to get it working now. > > Take care, > > > -- Matt > > Cc: [email protected], [email protected], > > Donald Winiecki <[email protected]> > > From: Camm Maguire <[email protected]> > > Date: Wed, 28 Jul 2010 17:42:21 -0400 > > X-SpamAssassin-Status: No, hits=0.2 required=5.0 > > X-UTCS-Spam-Status: No, hits=-190 required=165 > > > > Greetings! Just a heads up on the status. Thanks to R. Krug's > > machine, I have an (as yet uncommitted) patch which builds gcl on all > > 3 flavors of macs (ppc, x86 10.5, and x86 10.6) , and windows emulated > > under wine, which build maxima and acl2 passing all tests. Will be > > adding axiom to the test suite, then commit, then finalize 2.6.8. > > > > The 10.6 build is 32bit at the moment. It appears that this is a hard > > limit at the present time due to gcc miscompiling gmp in 64bits. > > > > Donald, I think this patch will enable you to build natively under > > windows too. It would be great if we could test this when its ready > > in a few days. I have a few questions for you regarding paths and > > windows installers. > > > > I'll send out a note when the commit is in. > > > > 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 > [email protected] > http://lists.gnu.org/mailman/listinfo/gcl-devel >
_______________________________________________ Gcl-devel mailing list [email protected] http://lists.gnu.org/mailman/listinfo/gcl-devel
