Version française
Home     About     Download     Resources     Contact us    
Browse thread
Re : [Caml-list] cywgin stack overflow
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Matthieu Wipliez <mwipliez@y...>
Subject: Re : [Caml-list] cywgin stack overflow
Hello,

I don't know what is the problem, but if you want to increase the stack size, here's what you can do:

For a 10MB stack:
Using gcc: ocamlopt.opt -ccopt "-Wl,--stack -Wl,10485760" (other options)
Using MSVC cl: ocamlopt.opt -ccopt "/F10485760" (other options)

(I had to do that in a program so that Marshal'ing would not fail).

Hope that helps,

Matthieu

----- Message d'origine ----
De : skaller <skaller@users.sourceforge.net>
À : caml-list@yquem.inria.fr
Cc : Rhythmic Fistman <rfistman@gmail.com>; Emmanuel Onzon <emmanuel.onzon@ens-lyon.fr>
Envoyé le : Mercredi, 13 Juin 2007, 9h34mn 32s
Objet : [Caml-list] cywgin stack overflow

Hi, we've got a problem with an Ocaml native code program running under
Cygwin exiting without producing output or diagnostics. I think
Cygwin is running Ocaml 3.08. It was suggested
this was probably a stack overflow. The program is Dypgen GLR
parser generator, which is probably heavily recursive. It works
fine on my AMD64/Ubuntu Linux box, Ocaml 3.10-dev+25 or something.

Does anyone know how to increase the stack size, or have any other
idea how to work around this problem? Or any idea if it could
be any other problem?

-- 
John Skaller <skaller at users dot sf dot net>
Felix, successor to C++: http://felix.sf.net

_______________________________________________
Caml-list mailing list. Subscription management:
http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list
Archives: http://caml.inria.fr
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs










      
	
		
___________________________________________________________________________ 
Découvrez une nouvelle façon d'obtenir des réponses à toutes vos questions ! 
Profitez des connaissances, des opinions et des expériences des internautes sur Yahoo! Questions/Réponses 
http://fr.answers.yahoo.com