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