On 16-03-12 17:15, SF Markus Elfring wrote:
Normally, when one compiles an ocaml program, one runs make depend
first. I had
the impression that it was not necessary for coccinelle, but I am not
certain
about that.
Would you like to add the deletion of the file ".depend" to the build
target "clean" in the Makefile eventually?
The .depend files are here actually only used to drive the compilation
of the module interface files (.mli) when a module (.ml) file has one.
The other dependencies are subsumed (I think). That is perhaps a bit
overkill, but it has been quite practical for years(?).
If the toplevel .depend file does not exist, a 'make depend' is
automatically run prior to any other 'make' command. Thus, usually you
will not notice it. However, if you fetch a new version from git in an
already existing source directory, there may already be a '.depend' file
and thus no reinvocation of 'make depend'. This may thus give errors
such as ocaml being unable to find some files.
Therefore, I would actually be in favor of having the 'make clean'
remove all .depend files. Now some of them are removed only by 'make
distclean'.
Arie
_______________________________________________
Cocci mailing list
[email protected]
http://lists.diku.dk/mailman/listinfo/cocci
(Web access from inside DIKUs LAN only)
