RE: Checking software build tries for “commands.cmo”

[Martin Dorey]

> I have noticed a moment ago that an interface description file was missing
> somehow for the OCaml source file in this compilation attempt.
...
> I wonder then that the make tool did not give me a direct clue for a failed
> software dependency as I am used to in other cases.

Would you have it complain that commands.mli,v, RCS/commands.mli,v, 
RCS/commands.mli, s.commands.mli and SCCS/s.commands.mli were missing?  The 
existence of any of those would have let make build commands.mli, hence 
commands.cmo.  You can have it do that, with make --debug=all.  You'll see it 
tries harder than you'd imagine, even searching for a rule that could update 
your makefile to fix the problem.  Can you come up with a specification for 
finding which of the possible missing dependencies is the one that you actually 
care about?