Scott Morrison (Sep 22 2023 at 03:30): Scott Morrison (Sep 22 2023 at 03:30):I would like to be able to clear the lia cache. From what I can undestand, Unset Lia Cache prevents lia from storing a cache in .lia.cache to persist results between Coq sessions. However the cache still shares results in a single file.
Is there a command that empties the lia cache?
Karl Palmskog (Sep 22 2023 at 10:29):to my knowledge there is no such command. People typically remove .lia.cache at the build system level, such as in the task cleanall provided by coq_makefile-generated Makefiles. Then the next build will use a fresh lia cache.
Last updated: Oct 13 2024 at 01:02 UTC