bug-make
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

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


From: SF Markus Elfring
Subject: Re: Checking software build tries for “commands.cmo”
Date: Thu, 15 Jun 2017 17:56:07 +0200
User-agent: Mozilla/5.0 (X11; Linux x86_64; rv:52.0) Gecko/20100101 Thunderbird/52.2.0

> 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



reply via email to

[Prev in Thread] Current Thread [Next in Thread]