Re: Checking application of dependencies from make rules without recipes

[SF Markus Elfring]

> Could you provide examples of the Makefiles rules you tried?

A rough approximation for further discussion:

i_compilation?=echo
o_compilation?=echo
a_generation?=$(o_compilation) 'Checked modules: '

parsing_c.cma: ast_c.cmo token_annot.cmo
        $(a_generation) '$<' > $@

%.cmi: %.mli
        $(i_compilation) '$<' > $@

%.cmo: %.ml %.cmi
        $(o_compilation) '$<' > $@

includes.cmi: ast_c.cmo


address@hidden:~/Projekte/Coccinelle/20160205/parsing_c> LANG=C make 
--no-builtin-rules -f parsing-rule-check1.make
make: *** No rule to make target 'ast_c.cmo', needed by 'parsing_c.cma'.  Stop.


How do you think about such a test result?

See also the discussion “Replacing suffix rules in make scripts?”
for relevant background information:
https://systeme.lip6.fr/pipermail/cocci/2017-June/004181.html

Regards,
Markus