[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: |
Wed, 14 Jun 2017 21:23:15 +0000 |
> I have noticed a moment ago that an interface description file was missing
> somehow for the OCaml source file in this compilation attempt.
...
> I wonder then that the make tool did not give me a direct clue for a failed
> software dependency as I am used to in other cases.
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? The
existence of any of those would have let make build commands.mli, hence
commands.cmo. You can have it do that, with make --debug=all. You'll see it
tries harder than you'd imagine, even searching for a rule that could update
your makefile to fix the problem. Can you come up with a specification for
finding which of the possible missing dependencies is the one that you actually
care about?
Re: Checking software build tries for “commands.cmo”, Philip Guenther, 2017/06/14