diff options
| author | lmamane | 2007-07-16 10:16:38 +0000 |
|---|---|---|
| committer | lmamane | 2007-07-16 10:16:38 +0000 |
| commit | a964a7da07af0921ce173c4ef2f89fc80609366c (patch) | |
| tree | 2f0a96c3c2198a7874cb340960e50783778977b8 /Makefile.common | |
| parent | e45135c43acd75a604da1b3eb6c90c161d064400 (diff) | |
A cleaner solution to "make deletes .ml4.d files -> infinite loop" problem
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@10010 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'Makefile.common')
| -rw-r--r-- | Makefile.common | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/Makefile.common b/Makefile.common index 8c14d2b9e9..3bf6ae5028 100644 --- a/Makefile.common +++ b/Makefile.common @@ -440,6 +440,7 @@ MLIFILES := $(shell find . '(' -name '*.mli' ')' -printf '%P\n') \ $(GENMLIFILES) ML4FILES := $(shell find . '(' -name '*.ml4' ')' -printf '%P\n') VFILES := $(shell find . '(' -name '*.v' ')' -printf '%P\n') +CFILES := $(shell find kernel/byterun -name '*.c' -printf '%p\n') ML4FILESML:= $(ML4FILES:.ml4=.ml) @@ -786,7 +787,7 @@ STAGE1_TARGETS:= $(STAGE1) \ $(filter-out parsing/q_constr.cmo,$(STAGE1_CMO)) \ $(STAGE1_CMO:.cmo=.cmi) $(STAGE1_CMO:.cmo=.cmx) $(GENFILES) \ source-doc revision toplevel/mltop.byteml toplevel/mltop.optml \ - $(GRAMMARML4:.ml4=.ml4.preprocessed) + $(STAGE1_ML4:.ml4=.ml4.preprocessed) STAGE2_TARGETS:=$(COQBINARIES) lib kernel byterun library proofs tactics \ interp parsing pretyping highparsing toplevel hightactics \ coqide-binaries coqide-byte coqide-opt $(COQIDEOPT) $(COQIDEBYTE) $(COQIDE) \ |