[Top][All Lists]

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

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

From: Martin Dorey
Subject: RE: Checking software build tries for “commands.cmo”
Date: Thu, 15 Jun 2017 15:21:00 +0000

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 

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

reply via email to

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