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
