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

[Martin Dorey]

Sorry for my fat-fingered phoning.

>> 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?

> Not really in this use case.

Did you tell make, then, to disable all of its default rules for creating 
commands.mli or, for that matter, commands.cmo, by checking them out of version 
control?

> Can an error message like “The target “commands.cmo” could not be built
> because the specified dependency “commands.mli” did not exist.”
> be more appropriate instead of the message “make: Nothing to be done
> for 'commands.cmo'.”?

No, because, in general, there are many ways for make to build commands.cmo and 
not all of them involve commands.ml.  Even for the ones that do, the problem 
could have been further back, eg that SCCS/s.commands.mli was missing.