> 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 _______________________________________________ Bug-make mailing list Bug-make@gnu.org https://lists.gnu.org/mailman/listinfo/bug-make
