Thanks! Getting up-to-date on standard dune idioms from more recent versions is a welcome change.

Why is this marked as a draft? I am happy to merge this as long as the Dune builds keep more-or-less working. (On my machine I generally expect that dune build @libs will succeed in building most compilation units in the compiler, so that I then get Merlin working.)

I've marked this as a draft since I didn't have time to check it is currently working. It was working when I wrote it a few months back.

I've undrafted it now. Please could you check that it doesn't break your existing workflow with dune.

The new makefile target is to have finer control when building with dune after having built with make. It only removes the parts that confuses dune, which should soon be gone when we introduce the (files) stanza allowing you to ignore those files instead.

I just tested it, and it works fine, thanks! I needed to rebase it on top of the current trunk to get the other dune fixes from #14328. (One of the fixes is also duplicated in the PR, but git seems able to rebase just fine.)

Our check-typo script complains that one line is too long. I rebased the PR and fixed the complaint, so this should be good to merge.

Note: I tried to use copy_files# in the stdlib as I considered in ocaml/dune#12879 (comment) , but I now realize that this seems to require listing all the files of the stdlib/ subdirectory by hand, which makes the dune file slightly more maintenance-consuming. If the dune people are happy with (files ...) then it is the better approach, otherwise we should give copy_files# a try again.