>>>> ocamlc.opt -c /tmp/ocaml_cocci_bbc38d.cmo -g -I >>>> /home/elfring/Projekte/Coccinelle/20160205/ocaml -I /usr/lib64/ocaml >>>> /tmp/ocaml_cocci_bbc38d.ml >> >> Do you know where the include parameters are determined for such a call >> of the OCaml compiler in your source code? > > I had no trouble compiling with ocaml 4.07.1
Would you like to reconsider the usage of the variable “empty_deps” in the implementation of function “parse_dep”? https://github.com/coccinelle/coccinelle/blob/b5c8841872ddd04815e9499863c8f9e6fda56fab/ocaml/yes_prepare_ocamlcocci.ml#L489 How should other file names be determined for the compiled OCaml interface descriptions (like “~/.opam/4.07.1/lib/ocaml/stdlib__list.cmi”)? Regards, Markus _______________________________________________ Cocci mailing list [email protected] https://systeme.lip6.fr/mailman/listinfo/cocci
