>>>> 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
Is your system compiler version accidentally the same in comparison to the mentioned OPAM command example? Should the implementation of the function “dep_flag” be improved so that the variable “inc” in the function “load_file” for my system configuration? https://github.com/coccinelle/coccinelle/blob/b5c8841872ddd04815e9499863c8f9e6fda56fab/ocaml/yes_prepare_ocamlcocci.ml#L533 Will any more software evolution be better taken into account around the usage of the program “ocamldep”? Regards, Markus _______________________________________________ Cocci mailing list [email protected] https://systeme.lip6.fr/mailman/listinfo/cocci
