Ah, ok. Yours is better and works just fine.
Cheers
Oliver
19.07.2012 10:40, Gabriel Kerneis:
> Yes, it has been reported already. I did a patch yesterday but forgot to push
> it, sorry.
>
> http://github.com/kerneis/cil/commit/b8089965ff735aed1863cd19409e14b8d39cbe01
>
> It is slightly differen
On Thu, Jul 19, 2012 at 10:29:25AM +0200, Oliver Schwahn wrote:
> I just noticed that there is a bug in the support for the native
> OCaml tools in one of the makefiles.
Yes, it has been reported already. I did a patch yesterday but forgot to push
it, sorry.
http://github.com/kerneis/cil/commit/
Hi,
I just noticed that there is a bug in the support for the native OCaml
tools in one of the makefiles.
The variables which hold the tool command names are defined as
recursively expanded variables but they should be defined as simply
expanded variables ('=' vs ':=' definition). The recursiv
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
