On Mon, 13 Jul 2015, SF Markus Elfring wrote:

> > It seems that you are not getting the proper dynamic linking
> > with ocaml.
>
> Do you know a small test to check this aspect better?

No.  Your test is already as small as it can be.

> > Perhaps send the result of running configure.
>
> What do you hope to see there?

I would do a diff with my configuration and see if there is anything
different with respect to ocaml.

julia
_______________________________________________
Cocci mailing list
[email protected]
https://systeme.lip6.fr/mailman/listinfo/cocci

Reply via email to