Since 4.01, ocamlbuild supports a new (experimental) option -plugin-tag
that allows to specify (built-in) ocamlbuild tags to use when compiling myocamlbuild.ml
. If you package "coq-paths" using findlib, you can then use
ocamlbuild -use-ocamlfind -plugin-tag "package(coq-path)" ...