On 18-03-12 15:45, SF Markus Elfring wrote:
If the toplevel .depend file does not exist, a 'make depend' is
automatically
run prior to any other 'make' command.
I wonder that this file has got an explicit check for its existence.
It does. However, I did notice that it was still needed to run 'make
depend'. I fixed this in my branch. I expect to put it in the next release.
Therefore, I would actually be in favor of having the 'make clean'
remove all
.depend files.
Would it be useful to add the dependency "*.mli *.ml" to the build
target "depend"?
It would not help the toplevel depend much. What would help is to put a
dependency of the toplevel ".depend" on the "version" file. This file is
supposed to change with each release, thus if you get coccinelle
releases via git, it would enforce a refresh of the toplevel '.depend'
file. I'll consider this.
Arie
_______________________________________________
Cocci mailing list
[email protected]
http://lists.diku.dk/mailman/listinfo/cocci
(Web access from inside DIKUs LAN only)
