The Coq mailing list

[Pierre Courtieu <Pierre.Courtieu AT cnam.fr>]

Here is an experimental patch to apply to tools/coqdep_common.ml in
order to add a pseudo target foo.pseudo having the same dependencies
thant foo.v (but foo.v itself).

This way one can "make foo.pseudo" to compile only dependencies of
foo.vo (provided you use codep like coq_makefile does).

If people find this useful wa may add this in trunk.

Regards,
Pierre Courtieu

--- tools/coqdep_common.ml      (revision 13655)
+++ tools/coqdep_common.ml      (working copy)
@@ -388,7 +388,11 @@
        let glob = if !option_noglob then "" else " "^ename^".glob" in
        printf "%s%s%s: %s.v" ename !suffixe glob ename;
        traite_fichier_Coq true (name ^ ".v");
+       (* Adding a pseudo target with only dependencies. Useful when
updating required files. *)
        printf "\n";
+       printf "%s%s: " ename ".pseudo";
+       traite_fichier_Coq true (name ^ ".v");
+       printf "\n";
        flush stdout)
     (List.rev !vAccu)