From 6b010da9faf1c4d1b214505daf8ecf9ea6afbd33 Mon Sep 17 00:00:00 2001
From: letouzey
Date: Fri, 5 Mar 2010 18:24:00 +0000
Subject: 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
---
 Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'Makefile')

diff --git a/Makefile b/Makefile
index ddf9ed7b7c..3011e7d005 100644
--- a/Makefile
+++ b/Makefile
@@ -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 := \
-- 
cgit v1.2.3