[Gcl-devel] static

[Camm Maguire]

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