I’m currently using Dune 2.8.2 and it seems like it won’t generate .merlin files anymore. My .merlin files for a project are several months old and if I delete them, I can’t seem to get dune to rebuild them. I tried running dune clean
followed by dune build
as well as dune build @check
. Is there a special command I need, or does dune not support this anymore?
2 posts - 2 participants