diff options
| author | barras | 2002-10-15 13:56:18 +0000 |
|---|---|---|
| committer | barras | 2002-10-15 13:56:18 +0000 |
| commit | 09321f03913194960d3bb637f430052681849f3f (patch) | |
| tree | 4004a6ed0f55276b5a7dce1a0cb09973c7ab0c60 /Makefile | |
| parent | 5da16dd23b116630c785fb0cf1ff770d61f86f62 (diff) | |
commit du calcul des dependances un peu plus robuste
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3147 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 29 |
1 files changed, 21 insertions, 8 deletions
@@ -1000,26 +1000,39 @@ cleanconfig:: alldepend: depend dependcoq -dependcoq: beforedepend - $(COQDEP) $(COQINCLUDES) $(ALLVO:.vo=.v) > .depend.coq +dependcoq:: beforedepend + $(COQDEP) -R theories Coq -R contrib Coq $(COQINCLUDES) $(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: +# by making scratchdependml, one gets dependencies OK for .ml files and +# .ml4 files not using fancy parsers. This is sufficient to get beforedepend +# and depend targets successfully built +scratchdepend:: dependp4 + -$(MAKE) -k -f Makefile.dep $(ML4FILESML) + $(OCAMLDEP) $(DEPFLAGS) */*.mli */*/*.mli */*.ml */*/*.ml > .depend + $(MAKE) depend # Computing the dependencies in camlp4 files is tricky. # We proceed in several steps: ML4FILESML = $(ML4FILES:.ml4=.ml) -ml4filesml: - $(MAKE) -f Makefile.dep $(ML4FILESML) - -depend: beforedepend -# 1. We express dependencies of the .ml files w.r.t their grammars +# Expresses dependencies of the .ml4 files w.r.t their grammars +dependp4:: rm -f .depend.camlp4 for f in $(ML4FILES); do \ printf "%s" `dirname $$f`/`basename $$f .ml4`".ml: " >> .depend.camlp4; \ echo `$(CAMLP4DEPS) $$f` >> .depend.camlp4; \ done -# 2. Then we are able to produce the .ml files using Makefile.dep + +# Produce the .ml files using Makefile.dep +ml4filesml:: .depend.camlp4 $(MAKE) -f Makefile.dep $(ML4FILESML) + +depend: beforedepend dependp4 ml4filesml +# 1. We express dependencies of the .ml files w.r.t their grammars +# 2. Then we are able to produce the .ml files using Makefile.dep # 3. We compute the dependencies inside the .ml files using ocamldep $(OCAMLDEP) $(DEPFLAGS) */*.mli */*/*.mli */*.ml */*/*.ml > .depend # 4. We express dependencies of .cmo and .cmx files w.r.t their grammars |