Stream: Coq devs & plugin devs

Topic: ✔ coq-menhirlib


view this post on Zulip Julien Puydt (Jul 08 2022 at 13:32):

I don't understand - from the gitlab, it looks like coq-menhirlib is a subdirectory of the menhir one.

view this post on Zulip Karl Palmskog (Jul 08 2022 at 13:35):

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".

view this post on Zulip Julien Puydt (Jul 08 2022 at 13:37):

Oh, dear, I found out the Debian menhir package has that directory filtered out...

view this post on Zulip Julien Puydt (Jul 08 2022 at 13:39):

It's to avoid a kind of circular dep.

view this post on Zulip Julien Puydt (Jul 08 2022 at 13:51):

@Karl Palmskog That should definitely help me package the right thing! Thanks!

view this post on Zulip Notification Bot (Jul 08 2022 at 13:51):

Julien Puydt has marked this topic as resolved.


Last updated: Feb 01 2023 at 16:03 UTC