[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
Re: Checking software build tries for “commands.cmo”, Philip Guenther, 2017/06/14