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

_______________________________________________
Gcl-devel mailing list
[email protected]
https://lists.gnu.org/mailman/listinfo/gcl-devel

Reply via email to