[Caml-list] Relational and Algebraic Methods in Computer Science - CfP

2012-03-28 Thread Peter Höfner
2nd CALL FOR PAPERS 13th International Conference on Relational and Algebraic Methods in Computer Science (RAMiCS 13) 17--21 September 2012, Cambridge University, UK http://www.cl.cam.ac.uk/conference/ramics13/ Scope - We

Re: [Caml-list] Broken link in Module Format doc

2012-03-28 Thread Gabriel Scherer
I suppose the bugtracker is a good choice, as long as you set the category (Caml web site or OCaml documentation according to whether it's part of a full-blown document or about the website navigation) and severity (text) accordingly. On Wed, Mar 28, 2012 at 1:53 PM, Ricardo Catalinas Jiménez

Re: [Caml-list] New version of the binary installer for Windows

2012-03-28 Thread Kakadu
Hello! Can you test ocamlbuild on windows? On my vertual machine with XP it can't create _build directory and says C:\prog\1ocamlbuild main.byte mkdir C:\prog\1\_build bash: warning: could not find /tmp, please create! bash: mkdir: command not found Failure: Error during command `mkdir

Re: [Caml-list] New version of the binary installer for Windows

2012-03-28 Thread Jonathan Protzenko
Unfortunately, ocamlbuild requires a unix-like environment, with a few utilities in the path: bash, mkdir... The installer only provides the very basics. It does not provide a unix environment on windows, only the ocaml binaries, flexlink, and ocamlfind. If you want to go further, e.g. use

Re: [Caml-list] New version of the binary installer for Windows

2012-03-28 Thread Jonathan Protzenko
Oh right, it looks like you've got some sort of Unix-like environment. Could you please tell me more about your current setup? -- Caml-list mailing list. Subscription management and archives: https://sympa-roc.inria.fr/wws/info/caml-list Beginner's list:

Re: [Caml-list] New version of the binary installer for Windows

2012-03-28 Thread Jonathan Protzenko
Hey, How about bundling the installer with cygwin or msys? Beware of the license issues however. Well that's the usual debate : should the installer provide an entire environment (e.g. msys + the right compilers), so that users can fire up an ocaml shell and get all the good features (odb,

RE: [Caml-list] New version of the binary installer for Windows

2012-03-28 Thread David Allsopp
Wojciech Meyer wrote: Hi Jonathan, Thanks for the installer! On Wed, Mar 28, 2012 at 4:19 PM, Jonathan Protzenko jonathan.protze...@gmail.com wrote: Unfortunately, ocamlbuild requires a unix-like environment, with a few utilities in the path: bash, mkdir... It looks like he's got a

[Caml-list] Reducing boxing for floats

2012-03-28 Thread Alain Frisch
Dear caml-list, I'd like to ask for the community help in evaluating the benefits of a new strategy to control boxing/unboxing of floats in ocamlopt. I've implemented this new strategy in the more_unboxing branch of the SVN. You can find some description (and micro-benchmarks) there:

Re: [Caml-list] New version of the binary installer for Windows

2012-03-28 Thread Adrien
On 28/03/2012, Wojciech Meyer wojciech.me...@googlemail.com wrote: On Wed, Mar 28, 2012 at 4:19 PM, Jonathan Protzenko jonathan.protze...@gmail.com wrote: Unfortunately, ocamlbuild requires a unix-like environment, with a few utilities in the path: bash, mkdir... It looks like he's got a

Re: [Caml-list] New version of the binary installer for Windows

2012-03-28 Thread Jonathan Protzenko
On 03/28/2012 07:36 PM, Adrien wrote: On 28/03/2012, Wojciech Meyerwojciech.me...@googlemail.com wrote: On Wed, Mar 28, 2012 at 4:19 PM, Jonathan Protzenko jonathan.protze...@gmail.com wrote: Unfortunately, ocamlbuild requires a unix-like environment, with a few utilities in the path: bash,