Re: [Gcl-devel] Re: ACL2 Version 4.0

[Matt Kaufmann]

Hi, Camm --

Ouch -- sorry, I know nothing about the C level of the GCL
implementation.  Not enough memory available, perhaps?

-- Matt
   Cc: address@hidden, address@hidden
   From: Camm Maguire <address@hidden>
   Date: Tue, 27 Jul 2010 19:21:17 -0400
   X-SpamAssassin-Status: No, hits=-2.6 required=5.0
   X-UTCS-Spam-Status: No, hits=-252 required=165

   Greetings!  I can produce a 32bit build, but the OS gives me errors
   which prove fatal when running:

   malloc: *** error for object ....

   *** set a breakpoint in malloc_error_break to debug

   Any hints most welcome.

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