[Cocci] Cooperation with OCaml batteries?

[Cocci] Cooperation with OCaml batteries?

[SF Markus Elfring]

Hello,

Did you try out the reuse of any modules from the library "OCaml Batteries
included" for the script development in semantic patches?
http://batteries.forge.ocamlcore.org/

Would you like to help in resolving any corresponding system configuration
challenges for such software?

Regards,
Markus

[Cocci] Cooperation with OCaml batteries?

[Julia Lawall]

On Mon, 17 Mar 2014, SF Markus Elfring wrote:

> Hello,
>
> Did you try out the reuse of any modules from the library "OCaml Batteries
> included" for the script development in semantic patches?
> http://batteries.forge.ocamlcore.org/
>
> Would you like to help in resolving any corresponding system configuration
> challenges for such software?

No, I personally would not.  If you make an effort in this direction, you
could contribute patches.

julia

[Cocci] Cooperation with OCaml batteries?

[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