The Coq mailing list

[Ali Assaf <ali.assaf AT inria.fr>]

Hello,

I am trying to compile a coq plugin that depends on an external library. In particular, one of the modules of the plugin depends on the Yojson library (Opam installed, but that is not relevant I think). I can compile the module using ocamlfind, but how can I tell coq_makefile to use ocamlfind? Is there another portable way to tell coq_makefile to use the library?

Thanks,

Ali Assaf