On Mon, 13 Jul 2015, SF Markus Elfring wrote:
> > Perhaps you have a quite old version of ocaml? > > Is the software "OCaml 4.02.1-1.2" recent enough? Yes, the version seems fine. It seems that you are not getting the proper dynamic linking with ocaml. Perhaps send the result of running configure. julia _______________________________________________ Cocci mailing list [email protected] https://systeme.lip6.fr/mailman/listinfo/cocci
