Should coqchk be complaining that it can't find COQLIB? I would have thought that it shouldn't care too much.
The reason it seems to be complaining is because it is using the same Boot code, but is this intended?
it needs to find the stdlib vo files somehow
Would it be possible to support a -noinit mode for coqchk?
Last updated: Oct 13 2024 at 01:02 UTC