Re: [Gcl-devel] stack size

[Vadim V. Zhytnikov]

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.

Well, it depends entirely on your problem.  Default stack size is 
enlarged in gcl 2.6.1 cvs (corresponding Debian-unstable packages).
And now you can easily set stacks size at compile time via
./configure --enable-vssize=X --enable-bdssize=Y \
            --enable-ihssize=Z --enable-frssize=Z

--
     Vadim V. Zhytnikov

      <address@hidden>
     <address@hidden>