Karl Palmskog (Dec 04 2022 at 11:03): 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: Sep 09 2024 at 04:02 UTC