[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
amiss.
Take care,
--
Camm Maguire address@hidden
==========================================================================
"The earth is but one country, and mankind its citizens." -- Baha'u'llah