The @all alias does not produce .cmt files which are produced by @check.

[cristianoc]

Expected Behavior

In example https://github.com/cristianoc/dune-cmt, dune build should produce both a .cmt and .cmti file.

Actual Behavior

dune build produces only a .cmti file. dune build @check produces s both a .cmti and a .cmt.

Specifications

• Version of dune (output of dune --version): 2.2.0
• Version of ocaml (output of ocamlc --version) 4.06.1
• Operating system (distribution and version): macOS Catalina 10.15.3