Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0001313OCamlOCaml generalpublic2002-08-09 12:242002-08-09 14:33
Reporteradministrator 
Assigned To 
PrioritynormalSeverityminorReproducibilityalways
StatusclosedResolutionfixed 
PlatformOSOS Version
Product Version 
Target VersionFixed in Version 
Summary0001313: stacksize cygwin
DescriptionDerniè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
..

TagsNo tags attached.
Attached Files

- Relationships

-  Notes
(0001021)
administrator (administrator)
2002-08-09 13:11

> 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.

- Xavier

(0001022)
administrator (administrator)
2002-08-09 14:33

Fixed 2002-08-09 by XL.

- Issue History
Date Modified Username Field Change
2005-11-18 10:13 administrator New Issue


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker