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: Feb 05 2023 at 19:29 UTC