Greetings! Figured out the saved_acl2 static issue. Recall that we received link time warnings on the following:
getpwent getpwnam getpwuid setpwent endpwent gethostbyaddr gethostbyname I didn't undertand the meaning of the messages but do now. Invoking these causes a shared library map to be made at runtime at 0x40000000 even when using static linking. ACL2 does this via its call to our user-homedir-pathname function. Without this call, or if I can figure out how to get same without the above system calls, you should be good for 2gb on 32bit machines. Take care, -- Camm Maguire [EMAIL PROTECTED] ========================================================================== "The earth is but one country, and mankind its citizens." -- Baha'u'llah _______________________________________________ Gcl-devel mailing list Gcl-devel@gnu.org http://lists.gnu.org/mailman/listinfo/gcl-devel
