Re: [CIL users] Native versions of OCaml tools

2012-07-13 Thread Gabriel Kerneis
On Fri, Jul 13, 2012 at 01:49:39PM +0200, Oliver Schwahn wrote: > I just realized that the CIL build chain does not support the native > versions of the OCaml tools. The native tool versions often > outperform the byte code versions, e.g. ocamlc.opt (the native > version) can compile CIL much faste

[CIL users] Native versions of OCaml tools

2012-07-13 Thread Oliver Schwahn
Hi, I just realized that the CIL build chain does not support the native versions of the OCaml tools. The native tool versions often outperform the byte code versions, e.g. ocamlc.opt (the native version) can compile CIL much faster than ocamlc (the byte code version) can. I consider support