Greetings! Robert Boyer <[EMAIL PROTECTED]> writes:
> The latest ACL2 I have made is down to > > 82,953,335 > > bytes. Good! Thanks! > > The gcl save image is down to > > 23,520,335 > > bytes. Very good!!! I now need to bug Matt about how one > can, if possible, make that very final image without doing > any compiling at all, at all, and I bet the image will be > much smaller than 80 megabytes. > Great! Me thinks we can eventually get down to around 15 Mb for ansi. Don't know how this stacks up on a relative basis. Hope you also now see the extra 128M of heap, as evidenced by heap_start 0x0 in (room). Take care, > Thanks! > > Bob > > > > -- Camm Maguire [EMAIL PROTECTED] ========================================================================== "The earth is but one country, and mankind its citizens." -- Baha'u'llah _______________________________________________ Gcl-devel mailing list [email protected] http://lists.gnu.org/mailman/listinfo/gcl-devel
