Stream: Coq Platform devs & users

Topic: Overwriting Existing Files?


view this post on Zulip Jason Gross (May 12 2021 at 16:59):

Should the installer emit some sort of warning when it's writing to a directory where Coq is already installed? I think currently it silently overwrites files, but it should perhaps clear out the pre-existing .vo files in the relevant directories, or else you may end up with incompatible versions of some vo files installed? Certainly today there's no warning that the installer emits, on Windows at least.


Last updated: Jan 30 2023 at 12:03 UTC