I have a project which builds two packages: one is pure OCaml, and the second one uses Coq extraction. I want to be able to build the former even when Coq is not installed.
The immediate problem seems to be that
coq.extraction does not allow
package specification. The secondary problem is
copy_files, which I use to do some post-processing of extracted OCaml code also does not allow
package specification and may be invoked unconditionally, triggering extraction via dependency.
Any suggestions on how to work around these limitations are appreciated.