gcl-devel
[Top][All Lists]
Advanced

[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



reply via email to

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