[coq] Allow Coq libraries to depend on OCaml ones.#1555

Merged

ejgallego merged 3 commits intoocaml:masterfrom ejgallego:coq

Mar 30, 2019

+156-41

Commits on Mar 30, 2019

[coq] Allow Coq libraries to depend on ML plugins.
ejgallego
committed
Tweak implementation of Path.set_extension

rgrinberg
authored and
ejgallego
committed
Remove coq's own to_iflags in favor of Lib.L.to_iflags

rgrinberg
authored and
ejgallego
committed