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

[SF Markus Elfring]

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

Not directly so far. - The source file “commands.mli” is not needed
for the generation of the object module “commands.cmo” in the final use case.

But I used make rule specifications for a moment to express the simple
dependency chain “mli ⇒ cmi ⇒ ml ⇒ cmo” before I became more aware about
related software constraints.

I would have found an error message like “The target “commands.cmo” could not
be built because the specified dependency “commands.mli” did not exist.”
nicer in a specific development situation.

Regards,
Markus