[Cocci] Cooperation with OCaml batteries?

[elfring@users.sourceforge.net (SF Markus Elfring)]

>> Would you like to help in resolving any corresponding system configuration
>> challenges for such software?
> 
> No, I personally would not.

Thanks for your quick feedback.


> If you make an effort in this direction, you could contribute patches.

I have tried out a small SmPL script which contains the expression "open
Batteries" besides others which might become more interesting.

elfring at Sonne:~/Projekte/Coccinelle/janitor> spatch --sp-file
list_file_name_lengths2.cocci ../Probe/f-ptr-test1.c
init_defs_builtins: /usr/local/share/coccinelle/standard.h
Using native version of ocamlc/ocamlopt/ocamldep
Extra OCaml packages used in the semantic patch: batteries
ocamlopt.opt -shared -o /tmp/list_file_name_lengths2ce667d.cmxs -g -I
/usr/lib64/ocaml -I /home/elfring/.opam/system/lib/batteries -I
/usr/local/share/coccinelle/ocaml /tmp/list_file_name_lengths2ce667d.ml
Compilation OK!
Loading /home/elfring/.opam/system/lib/batteries/batteries.cmxs...
error loading shared library:
/home/elfring/.opam/system/lib/batteries/batteries.cmxs: undefined symbol: camlLazy
Fatal error: exception
Yes_prepare_ocamlcocci.LinkFailure("/home/elfring/.opam/system/lib/batteries/batteries.cmxs")


Regards,
Markus