[Gcl-devel] stack size

[Aurelien Chanudet]

Hi,

How big should GCL's stack size be ? I've found out that mine was too 
small, which was the cause of some weird errors when compiling acl2 
with 2.7.0.

Thanks,
Aurelien