Messages in this thread | | | From | Masahiro Yamada <> | Date | Thu, 16 Nov 2017 00:49:55 +0900 | Subject | Re: [Cocci] Coccinelle: badzero.cocci failure |
| |
Hi Thierry,
2017-11-15 23:56 GMT+09:00 Thierry Martinez <thierry.martinez@inria.fr>: > Hi, Masahiro. > > Masahiro: >> Fatal error: exception >> Yes_prepare_ocamlcocci.LinkFailure("/tmp/ocaml_cocci_fdd282.cmxs") > > If you can rerun your test with coccinelle GitHub master, the > LinkFailure exception will now be more verbose, in order to understand > the problem. > > I suspect a mismatch between the version of OCaml you use to compile > coccinelle, and the version of OCaml that coccinelle uses to compile > OCaml scripts in rules. >
Now I am out of the office and working from home. badzero.cocci works fine on my PC at home.
I suspect the difference of installed packages.
I will try the latest commit in the GitHub tomorrow at the office.
Best Regards Masahiro Yamada
| |