Re: [Cocci] Coccinelle: badzero.cocci failure

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

 



Hi Thierry,

2017-11-15 23:56 GMT+09:00 Thierry Martinez <thierry.martinez@xxxxxxxx>:
> 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
--
To unsubscribe from this list: send the line "unsubscribe linux-kbuild" in
the body of a message to majordomo@xxxxxxxxxxxxxxx
More majordomo info at  http://vger.kernel.org/majordomo-info.html



[Index of Archives]     [Linux&nblp;USB Development]     [Linux Media]     [Video for Linux]     [Linux Audio Users]     [Yosemite Secrets]     [Linux Kernel]     [Linux SCSI]

  Powered by Linux