You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Original bug ID: 1313 Reporter: administrator Status: closed Resolution: fixed Priority: normal Severity: minor Category: ~DO NOT USE (was: OCaml general)
Bug description
Dernière minute, mais en faisant make opt.opt sur mon cygwin brut de
fonderie, j'ai eu:
The current stack size limit is too low (2047k)
You must increase it with one of the following commands:
Under sh, bash, zsh: ulimit -s 2048
Under csh, tcsh: limit stacksize 2048
make: *** [checkstack] Error 3
mais si j'essaye d'appliquer ce conseil:
ulimit -s 2048
bash: ulimit: cannot modify stack size limit: Invalid argument
Bon, je n'ai pas beaucoup le temps de chercher des solutions, mais si
plein de cygwin-eurs ont le même problème, peut-être que mettre la
limite mini à 2040 éviterait des plaintes ? Malheureusement, je n'ai
pas encore testé ça (2040k).
Bruno.
ulimit -a
[..]
stack size (kbytes, -s) 2046
..
The text was updated successfully, but these errors were encountered:
Dernière minute, mais en faisant make opt.opt sur mon cygwin brut de
fonderie, j'ai eu:
Bon, je n'ai pas beaucoup le temps de chercher des solutions, mais si
plein de cygwin-eurs ont le même problème, peut-être que mettre la
limite mini à 2040 éviterait des plaintes ? Malheureusement, je n'ai
pas encore testé ça (2040k).
OK, j'ai mis 1536 (1.5 Mo). Sous Linux, make opt.opt marche bien avec
seulement 1 Mo de pile. A tester sous MacOS X.
Original bug ID: 1313
Reporter: administrator
Status: closed
Resolution: fixed
Priority: normal
Severity: minor
Category: ~DO NOT USE (was: OCaml general)
Bug description
Dernière minute, mais en faisant make opt.opt sur mon cygwin brut de
fonderie, j'ai eu:
The current stack size limit is too low (2047k)
You must increase it with one of the following commands:
Under sh, bash, zsh: ulimit -s 2048
Under csh, tcsh: limit stacksize 2048
make: *** [checkstack] Error 3
mais si j'essaye d'appliquer ce conseil:
ulimit -s 2048
bash: ulimit: cannot modify stack size limit: Invalid argument
Bon, je n'ai pas beaucoup le temps de chercher des solutions, mais si
plein de cygwin-eurs ont le même problème, peut-être que mettre la
limite mini à 2040 éviterait des plaintes ? Malheureusement, je n'ai
pas encore testé ça (2040k).
Bruno.
ulimit -a
[..]
stack size (kbytes, -s) 2046
..
The text was updated successfully, but these errors were encountered: