[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [Gcl-devel] Re: gcl-2.6.8

From: Donald Winiecki
Subject: Re: [Gcl-devel] Re: gcl-2.6.8
Date: Tue, 3 Aug 2010 17:34:16 -0600

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.



On Tue, Aug 3, 2010 at 5:06 PM, Camm Maguire <address@hidden> wrote:

Matt Kaufmann <address@hidden> 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: address@hidden, address@hidden,
>          Donald Winiecki <address@hidden>
>    From: Camm Maguire <address@hidden>
>    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                                           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

Gcl-devel mailing list

reply via email to

[Prev in Thread] Current Thread [Next in Thread]