Re: [CIL users] how to merge and compile a project which contains multiple source and head files using CIL?

2012-07-19 Thread Oliver Schwahn
Hi, I attached an archive which contains your test project along with some script files which show how you can use cilly for merging. The merge scripts are pretty simple. They just invoke cilly in some different ways to obtain the merged source and the compiled program. This should give you an

Re: [CIL users] Native versions of OCaml tools

2012-07-19 Thread Oliver Schwahn
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

Re: [CIL users] Native versions of OCaml tools

2012-07-19 Thread Gabriel Kerneis
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/

Re: [CIL users] Native versions of OCaml tools

2012-07-19 Thread Oliver Schwahn
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