Stream: Coq devs & plugin devs

Topic: cmt and cmti files in plugins

view this post on Zulip Karl Palmskog (Dec 04 2022 at 11:03):

When I compile my plugins with coq_makefile and then do make clean/make cleanall, my project is still full of .cmt and .cmti files on recent versions of OCaml, such as 4.14.0. Isn't coq_makefile supposed to clean out that stuff?

Last updated: Dec 07 2023 at 08:01 UTC