diff options
author | 2003-06-14 16:15:05 +0000 | |
---|---|---|
committer | 2003-06-14 16:15:05 +0000 | |
commit | 595b2976b11aa39abef7746928d3d56fb6a1beb3 (patch) | |
tree | 41d73f38b5139b62cb9b0a0add700f01af278732 /Makefile | |
parent | 329aff0388151488c785c63bd351a0630682f0ea (diff) |
dependcoq integre les fichiers de fsets
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@4165 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 3 |
1 files changed, 2 insertions, 1 deletions
@@ -1208,7 +1208,8 @@ cleanconfig:: alldepend: depend dependcoq dependcoq:: beforedepend - $(COQDEP) -R theories Coq -R contrib Coq $(COQINCLUDES) $(ALLREALS:.vo=.v) $(ALLVO:.vo=.v) > .depend.coq + $(COQDEP) -R theories Coq -R contrib Coq $(COQINCLUDES) \ + $(FSETSVO:.vo=.v) $(ALLREALS:.vo=.v) $(ALLVO:.vo=.v) > .depend.coq # Build dependencies ignoring failures in building ml files from ml4 files # This is useful to rebuild dependencies when they are strongly corrupted: |