dune frequently making full builds about coq-hott

[jdchristensen]

I've upgraded to 3.15.2 and confirm that the problem is solved.

[jdchristensen]

The first line in the build output is

      coqdep theories/.HoTT.theory.d 

Could it be that if any dependency in the library changes, then everything in the whole library is getting rebuilt? I don't think this happened before.

[Alizter]

I'm really sorry about this. This is a bug in Dune that has been around since 3.13. It hasn't been fixed yet. ocaml/dune#10149

My best advice would be to opam pin dune to 3.12. This has been annoying me a lot recently too. In fact, this is one of the reasons I didn't want to do #1910 yet.

[Alizter]

I've submitted a fix to dune, hopefully we can make progress on it. Once that is done, I'll try to push for it to be backported to 3.13-3.15 point releases.

• ocaml/dune#10446

Alternatively, you can directly pin my fix in opam.

[jdchristensen]

@Alizter Thanks! Glad to hear that it's understood and that a fix is on the way.

[jdchristensen]

The fix has been merged upstream. I'll close this after the next version of dune has been released and I have tested it.

[Alizter]

There is a 3.15.2 release planned for this to be backported to. So it should be available soon.

[Alizter]

3.15.2 has been released and here is the opam PR:

• ocaml/opam-repository#25714

It will be available in the opam repository when that is merged.

[Alizter]

@jdchristensen Dune 3.15.2 is now available on opam.