[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [Gcl-devel] stack size

From: Vadim V. Zhytnikov
Subject: Re: [Gcl-devel] stack size
Date: Sat, 06 Sep 2003 22:16:49 +0300
User-agent: Mozilla/5.0 (Windows; U; Windows NT 5.1; ru-RU; rv:1.4) Gecko/20030630

Aurelien Chanudet ?????:

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


reply via email to

[Prev in Thread] Current Thread [Next in Thread]