Stream: Coq users

Topic: clearing the `lia` cache

view this post on Zulip 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?

view this post on Zulip 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: Jun 13 2024 at 19:02 UTC