From e0d682ec25282a348d35c5b169abafec48555690 Mon Sep 17 00:00:00 2001
From: Stephane Glondu <steph@glondu.net>
Date: Mon, 20 Aug 2012 18:27:01 +0200
Subject: Imported Upstream version 8.4dfsg

---
 Makefile.common | 23 ++++++++++++++---------
 1 file changed, 14 insertions(+), 9 deletions(-)

(limited to 'Makefile.common')

diff --git a/Makefile.common b/Makefile.common
index 3740b52e..c5969d17 100644
--- a/Makefile.common
+++ b/Makefile.common
@@ -73,16 +73,21 @@ COQBINARIES:= $(COQMKTOP) $(COQC) \
 
 CSDPCERT:=plugins/micromega/csdpcert$(EXE)
 
+CORESRCDIRS:=\
+  config 	lib		kernel		kernel/byterun	library \
+  proofs 	tactics 	pretyping	interp		toplevel \
+  parsing
+
+PLUGINS:=\
+  omega		romega 		micromega 	quote		ring \
+  setoid_ring 	xml 		extraction 	fourier \
+  cc 		funind 		firstorder 	field 		subtac \
+  rtauto 	nsatz           syntax          decl_mode
+
 SRCDIRS:=\
-  config 	tools 		tools/coqdoc 	scripts		lib \
-  kernel	kernel/byterun	library 	proofs 		tactics \
-  pretyping	interp		toplevel/utils	toplevel 	parsing 	\
-  ide/utils	ide		\
-  $(addprefix plugins/, \
-    omega	romega 		micromega 	quote		ring \
-    setoid_ring xml 		extraction 	fourier \
-    cc 		funind 		firstorder 	field 		subtac \
-    rtauto 	nsatz           syntax          decl_mode)
+  $(CORESRCDIRS)  \
+  tools 	tools/coqdoc 	scripts		ide/utils	ide \
+  $(addprefix plugins/, $(PLUGINS))
 
 # Order is relevent here because kernel and checker contain files
 # with the same name
-- 
cgit v1.2.3