From 74bb3f23674caff6902665fde0c4608e28ff0877 Mon Sep 17 00:00:00 2001
From: herbelin
Date: Wed, 7 Jul 2010 14:41:27 +0000
Subject: Fixed compilation with statically-linked plugins (the decl_mode
 plugins has to be linked before the xml plugin).

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@13262 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 Makefile.common | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/Makefile.common b/Makefile.common
index 3f8c2a0518..d18cf73d87 100644
--- a/Makefile.common
+++ b/Makefile.common
@@ -186,10 +186,9 @@ OTHERSYNTAXCMA:=$(addprefix plugins/syntax/, \
         string_syntax_plugin.cma )
 DECLMODECMA:=plugins/decl_mode/decl_mode_plugin.cma
 
-PLUGINSCMA:=$(OMEGACMA) $(ROMEGACMA) $(MICROMEGACMA) \
+PLUGINSCMA:=$(OMEGACMA) $(ROMEGACMA) $(MICROMEGACMA) $(DECLMODECMA) \
         $(QUOTECMA) $(RINGCMA) $(NEWRINGCMA) $(DPCMA) $(FIELDCMA) \
         $(FOURIERCMA) $(EXTRACTIONCMA) $(XMLCMA) \
-	$(DECLMODECMA) \
         $(CCCMA)  $(FOCMA) $(SUBTACCMA) $(RTAUTOCMA) \
         $(FUNINDCMA) $(NSATZCMA) $(NATSYNTAXCMA) $(OTHERSYNTAXCMA)
 
-- 
cgit v1.2.3