From 4459ec2e953055f650e7489f7c004572f4f04f98 Mon Sep 17 00:00:00 2001
From: ppedrot
Date: Sun, 6 Nov 2011 00:15:28 +0000
Subject: Added XML dependencies into Makefile

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

(limited to 'Makefile.common')

diff --git a/Makefile.common b/Makefile.common
index e8d876769c..6ef3f96226 100644
--- a/Makefile.common
+++ b/Makefile.common
@@ -221,7 +221,8 @@ INITPLUGINSBEST:=$(if $(OPT),$(INITPLUGINSOPT),$(INITPLUGINS))
 LINKCMO:=$(CONFIG) $(CORECMA) $(STATICPLUGINS)
 LINKCMX:=$(CONFIG:.cmo=.cmx) $(CORECMA:.cma=.cmxa) $(STATICPLUGINS:.cma=.cmxa)
 
-IDEDEPS:=$(CONFIG) lib/flags.cmo toplevel/ide_intf.cmo
+IDEDEPS:=$(CONFIG) lib/flags.cmo toplevel/utils/xml_lexer.cmo toplevel/utils/xml_parser.cmo \
+  toplevel/utils/xml_utils.cmo toplevel/ide_intf.cmo
 IDECMA:=ide/ide.cma
 
 LINKIDE:=$(IDEDEPS) $(IDECMA) ide/coqide_main.ml
-- 
cgit v1.2.3