diff options
| author | letouzey | 2010-03-05 18:24:00 +0000 |
|---|---|---|
| committer | letouzey | 2010-03-05 18:24:00 +0000 |
| commit | 6b010da9faf1c4d1b214505daf8ecf9ea6afbd33 (patch) | |
| tree | cb135730da461121f7c966b94a78796700f76b64 /Makefile | |
| parent | a74da602dfcd44bb643b29ce2f5552cf39659173 (diff) | |
Makefile: some more cleanup
- avoid recomputing CAMLP4DEPS in the %.ml:%.ml4 rule
- a macro for compiling the tools by the best ocaml compiler
- use of $(if ...) rather that $ifdef
- some variables of Makefile.common were not that useful
(e.g. $(COQCCMX), which is $(COQCCCMO:.cmo=.cmx), used only once)
- the build of coqc.* should not depend upon coqtop, only its launch
(or I'm missing something)
- useless $(CAMLP4EXTENDFLAGS) variable
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@12846 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -91,7 +91,7 @@ export GENFILES:=$(GENMLFILES) $(GENMLIFILES) $(GENHFILES) $(GENVFILES) $(GENPLU ## More complex file lists define diff - $(foreach f, $(1), $(if $(filter $(f),$(2)),,$f)) + $(strip $(foreach f, $(1), $(if $(filter $(f),$(2)),,$f))) endef export MLSTATICFILES := \ |