Fixing Coccinelle dependencies for OCaml script rules

[elfring]

The following tiny script variant for the semantic patch language can be tried out also together with the software combination “Coccinelle 1.1.1-00628-gd7ca09d1” on an openSUSE Tumbleweed system.

@initialize:ocaml@
@@
Printf.printf "Hello for this test!\n"

@display@
identifier x;
@@
*x(...)
 {...}

Irrelevant source file example:

void setup(void)
{
char x = 'X';
}

Test result:

Markus_Elfring@Sonne:…/Projekte/Coccinelle/Probe> spatch test-OCaml_script_generation.cocci test-setup1.c
…

• The status message “Using native version of ocamlc/ocamlopt/ocamldep” (which is provided by the function “check_runtime”) is displayed.
• The unexpected error message “ocamlfind: Package 'iteration' not found” is presented.
  • The test command can be adapted to the variant “strace -ff spatch test-OCaml_script_generation.cocci test-setup1.c > trace-OCaml_script_generation-20240109.txt 2>&1”.
  • 👀 The generated text file contains information like “[pid 22136] execve("/bin/sh", ["/bin/sh", "-c", "ocamlfind query iteration"], 0x7fff6d6dc988 /* 109 vars */ <unfinished ...>”.
  • The following source code looks promising somehow. 🤔

    let get_dir p =
      let inclcmd = !Flag.ocamlfind ^" query "^p in

  • 💭 It might be expected that an OCaml module should be found from a known place.
• What should be done with the subsequent hint “hd”?
  🔮 How much would the OCaml debugger help to clarify such information?