|
| From: | SF Markus Elfring |
| Subject: | Re: Checking software build tries for “commands.cmo” |
| Date: | Wed, 14 Jun 2017 20:50:13 +0200 |
| User-agent: | Mozilla/5.0 (X11; Linux x86_64; rv:52.0) Gecko/20100101 Thunderbird/52.1.1 |
> address@hidden:~/Projekte/Coccinelle/20160205/commons> LANG=C make -d
> commands.cmo V=1
> …
> No implicit rule found for 'commands.cmo'.
> Finished prerequisites of target file 'commands.cmo'.
> Must remake target 'commands.cmo'.
> Successfully remade target file 'commands.cmo'.
> make: Nothing to be done for 'commands.cmo'.
>
>
> Now I wonder why I do not get the desired software generation results for
> this test case. Why is the source file “commands.ml” not compiled again
> in the way as the other one?
I have noticed a moment ago that an interface description file was missing
somehow for the OCaml source file in this compilation attempt.
I have added the following extra rules as a special handling.
commands.cmo: commands.ml
$(OCAMLC_CMD) -c $<
commands.cmx: commands.ml
$(OCAMLOPT_CMD) -c $<
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.
Regards,
Markus
| [Prev in Thread] | Current Thread | [Next in Thread] |