[Caml-list] LCC Extension/CfP

2009-05-24 Thread Logic and Computational Complexity
[ Please broadcast/post/forward. Apologies for duplicates] LCC'09 FINAL CALL FOR PAPERS >>> EXTENDED DEADLINE: JUNE 5 The Tenth International Workshop on Logic and Computational Complexity (LCC'09, www.cs.indiana.edu/lcc) will be held in Los Angeles on August 10, 2009, as an affiliated meetin

Re: [Caml-list] Linking fails for native version of 3.11 under MinGW when using large number of modules

2009-05-24 Thread Hans Ole Rafaelsen
Matthieu Dubuget wrote: Hans Ole Rafaelsen a écrit : Matthieu Dubuget wrote: Hans Ole Rafaelsen a écrit : I'm able to include a large number of my own modules (tested with long names), so it does not seem to be the length of the command line arguments that is causing the probl

Re: [Caml-list] Linking fails for native version of 3.11 under MinGW when using large number of modules

2009-05-24 Thread Matthieu Dubuget
Hans Ole Rafaelsen a écrit : > Matthieu Dubuget wrote: >> Hans Ole Rafaelsen a écrit : >> >>> I'm able to include a large number of my own modules (tested >>> with long names), so it does not seem to be the length of the command >>> line arguments that is causing the problems. >>> Oups. Sorry: I

Re: [Caml-list] Linking fails for native version of 3.11 under MinGW when using large number of modules

2009-05-24 Thread Hans Ole Rafaelsen
Matthieu Dubuget wrote: Hans Ole Rafaelsen a écrit : By removing some of the packages from the link stage, it builds easily with more BarXXX modules included. Some of the packages seems to high a higher impact than others. By instead opening BXXX modules, which do the same as BarXXX modules,

Re: [Caml-list] Linking fails for native version of 3.11 under MinGW when using large number of modules

2009-05-24 Thread Matthieu Dubuget
Hans Ole Rafaelsen a écrit : > By removing some of the packages from the link stage, it builds easily > with more BarXXX modules included. Some of the packages seems to high a > higher impact than others. By instead opening BXXX modules, which do the > same as BarXXX modules, but have shorter names

[Caml-list] Linking fails for native version of 3.11 under MinGW when using large number of modules

2009-05-24 Thread Hans Ole Rafaelsen
Hi, I have problems linking my application with MinGW version of OCaml 3.11. I'm using GODI for my installation, thus my build environment is cygwin. I'm not sure if this is a cygwin, mingw, godi, findlib or ocaml problem. I'm using the cygwin version 1.7 under 32bit WinXP. In a simplified e

Re: [Caml-list] Strange buffering interaction: stdout / file_descr

2009-05-24 Thread Gerd Stolpmann
This is the somewhat expected behavior, although a bit surprising at the first glance. create_process isn't an atomic operation. Actually, it forks the process (and thus implicitly duplicates the stdout buffer). In the forked child it tries to exec the new executable. If this fails, it does a regul

Re: [Caml-list] OCaml version 3.11.1+rc0

2009-05-24 Thread Nicolas Pouillard
Excerpts from Stéphane Glondu's message of Fri May 22 11:41:40 +0200 2009: > Damien Doligez a écrit : > > We need you to test this on as many system types as possible. Please > > report success or failure to as usual. > > It looks like ocamlbuild plugins do not work anymore... maybe because > `o