>> 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@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
_______________________________________________
Cocci mailing list
[email protected]
https://systeme.lip6.fr/mailman/listinfo/cocci
