dune icon indicating copy to clipboard operation
dune copied to clipboard

pkg: adding a lockdir should invalidate built artifacts and force a rebuild

Open gridbugs opened this issue 1 year ago • 1 comments

Dune allows artifacts to be built without a lockdir present, but the resulting artifacts may be different when built with a lockdir present, vs when built without a lockdir present. Currently if a lockdir is created after some artifacts have been built, those artifacts won't be rebuilt by later calls to dune build (unless dune clean is called first).

gridbugs avatar May 10 '24 10:05 gridbugs

Could you add a test case for this?

rgrinberg avatar May 10 '24 15:05 rgrinberg