Re: [Cocci] Checking configuration challenges around OCaml usage for SmPL

[Julia Lawall]

On Fri, 24 May 2019, Markus Elfring wrote:

> >> 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

julia
_______________________________________________
Cocci mailing list
Cocci@systeme.lip6.fr
https://systeme.lip6.fr/mailman/listinfo/cocci