[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Gcl-devel] Misc macosx
From: |
J Dalton |
Subject: |
Re: [Gcl-devel] Misc macosx |
Date: |
Sun, 22 Sep 2013 17:19:35 +0100 |
I tried Version_2_6_10pre, and it's solved the 2.6.8 and 2.6.9 build
problems I was having on MacOS 10.8.5. :-)
Thanks for making it available and indeed for keeping GCL alive.
-- Jeff
On 18 September 2013 21:36, Camm Maguire <address@hidden> wrote:
> Greetings, and thanks again so much for making a macosx 10.8 available!
> gdb is now working, as is everything else I've tried in
> Version_2_6_10pre. Can allocate now up to 32Gb (apparently more, but I
> don't want to be greedy!) This will help out the acl2 folks a lot.
>
> Might try your solaris again at some point if it is desired. 2.6.10
> should go out in a few days, so please let me know if you see anything
> amiss.
>
> Take care,
> --
> Camm Maguire address@hidden
> ==========================================================================
> "The earth is but one country, and mankind its citizens." -- Baha'u'llah
>
> _______________________________________________
> Gcl-devel mailing list
> address@hidden
> https://lists.gnu.org/mailman/listinfo/gcl-devel