[Top][All Lists]

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

[Gcl-devel] Misc macosx

From: Camm Maguire
Subject: [Gcl-devel] Misc macosx
Date: Wed, 18 Sep 2013 16:36:05 -0400
User-agent: Gnus/5.13 (Gnus v5.13) Emacs/23.4 (gnu/linux)

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

Take care,
Camm Maguire                                        address@hidden
"The earth is but one country, and mankind its citizens."  --  Baha'u'llah

reply via email to

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