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/b8089965ff735aed1863cd19409e14b8d39cbe01 It is slightly different from yours but should fix the issue as well. Please comment if you think it is still flawed. I'll make a bugfix release next week. Best, -- Gabriel ------------------------------------------------------------------------------ Live Security Virtual Conference Exclusive live event will cover all the ways today's security and threat landscape has changed and how IT managers can respond. Discussions will include endpoint security, mobile security and the latest in malware threats. http://www.accelacomm.com/jaw/sfrnl04242012/114/50122263/ _______________________________________________ CIL-users mailing list CIL-users@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/cil-users
