I don't understand - from the gitlab, it looks like coq-menhirlib is a subdirectory of the menhir one.
yes, so the menhir GitLab repo has several packages of both OCaml and Coq code. In this case of coq-menhirlib, it can be built from scratch without using any of the other code. The dependency between coq-menhirlib and code generated by
menhir then occurs at "runtime".
Oh, dear, I found out the Debian menhir package has that directory filtered out...
It's to avoid a kind of circular dep.
@Karl Palmskog That should definitely help me package the right thing! Thanks!
Julien Puydt has marked this topic as resolved.
Last updated: Feb 01 2023 at 16:03 UTC