diff options
| author | herbelin | 2010-07-07 14:41:27 +0000 |
|---|---|---|
| committer | herbelin | 2010-07-07 14:41:27 +0000 |
| commit | 74bb3f23674caff6902665fde0c4608e28ff0877 (patch) | |
| tree | a35229569d44538d419a84f9f3b20237db6b32cc | |
| parent | 78800e3425ace369b4a81f69ff1f4e00f04785a0 (diff) | |
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
| -rw-r--r-- | Makefile.common | 3 |
1 files changed, 1 insertions, 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) |