From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.0 required=5.0 tests=none autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by yquem.inria.fr (Postfix) with ESMTP id B02D4BC0A for ; Wed, 13 Jun 2007 16:45:48 +0200 (CEST) Received: from access1.cims.nyu.edu (ACCESS1.CIMS.NYU.EDU [128.122.81.155]) by concorde.inria.fr (8.13.6/8.13.6) with ESMTP id l5DEjlHn018724 (version=TLSv1/SSLv3 cipher=EDH-RSA-DES-CBC3-SHA bits=168 verify=NO) for ; Wed, 13 Jun 2007 16:45:48 +0200 Received: from localhost (localhost [127.0.0.1]) by access1.cims.nyu.edu (8.13.8+Sun/8.13.8) with ESMTP id l5DEjXFc022282; Wed, 13 Jun 2007 10:45:33 -0400 (EDT) Date: Wed, 13 Jun 2007 10:45:33 -0400 (EDT) From: Igor Peshansky X-X-Sender: pechtcha@access1.cims.nyu.edu Reply-To: caml-list@yquem.inria.fr To: skaller Cc: caml-list@yquem.inria.fr, felix-impl , Rhythmic Fistman , Emmanuel Onzon Subject: Re: [Caml-list] cywgin stack overflow In-Reply-To: <1181744198.6141.3.camel@rosella.wigram> Message-ID: References: <1181720072.23474.13.camel@rosella.wigram> <1181738340.6135.6.camel@rosella.wigram> <1181743209.6135.13.camel@rosella.wigram> <1181744198.6141.3.camel@rosella.wigram> Importance: Normal MIME-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII X-Miltered: at concorde with ID 4670031B.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; stack:01 cygwin:01 allocates:01 compilation:01 strace:01 cygwin:01 ocamlopt:01 ocamlopt:01 stack:01 ocamlc:01 cmo:01 ocamlc:01 ocaml:01 gcc:01 2007,:98 On Thu, 14 Jun 2007, skaller wrote: > On Thu, 2007-06-14 at 00:00 +1000, skaller wrote: > > On Wed, 2007-06-13 at 09:44 -0400, Igor Peshansky wrote: > [] > > > Do try to increase the available memory -- the amount Cygwin > > > allocates by default is rather small (256M, I believe). Another > > > possibility is to run the compilation under strace to see why it > > > exits. > > > > Yes, I can try that .. a bit messy (dual booting, I lose all > > the email with nice info like this when running Cygwin). > > OK, the full story is: > > ocamlopt.opt: fails without message > ocamlopt: fails with Stack overflow message > ocamlc: compiles the file to *.cmo (correctly, I assume) > > this is with Cygwin set to 1024M memory using regtool. > I didn't try ocamlc.opt. Ouch. Is there a place I can find information on how stacks are implemented in Ocaml without having to wade through source? Particularly, I imagine the options to increase stack size of the executable compiled with ocamlopt would not be the same as for gcc... Igor -- http://cs.nyu.edu/~pechtcha/ |\ _,,,---,,_ pechtcha@cs.nyu.edu | igor@watson.ibm.com ZZZzz /,`.-'`' -. ;-;;,_ Igor Peshansky, Ph.D. (name changed!) |,4- ) )-,_. ,\ ( `'-' old name: Igor Pechtchanski '---''(_/--' `-'\_) fL a.k.a JaguaR-R-R-r-r-r-.-.-. Meow! Freedom is just another word for "nothing left to lose"... -- Janis Joplin