Stream: Coq devs & plugin devs

Topic: coqchk and COQLIB


view this post on Zulip Ali Caglayan (May 11 2022 at 11:43):

Should coqchk be complaining that it can't find COQLIB? I would have thought that it shouldn't care too much.

view this post on Zulip Ali Caglayan (May 11 2022 at 11:45):

The reason it seems to be complaining is because it is using the same Boot code, but is this intended?

view this post on Zulip Gaëtan Gilbert (May 11 2022 at 11:47):

it needs to find the stdlib vo files somehow

view this post on Zulip Ali Caglayan (May 11 2022 at 11:48):

Would it be possible to support a -noinit mode for coqchk?


Last updated: Mar 28 2024 at 15:01 UTC