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.build  | 2 +-
 Makefile.common | 3 ++-
 2 files changed, 3 insertions(+), 2 deletions(-)

diff --git a/Makefile.build b/Makefile.build
index 2b152b12bc..ba59fa379a 100644
--- a/Makefile.build
+++ b/Makefile.build
@@ -540,7 +540,7 @@ $(COQDOC): $(COQDOCCMO:.cmo=$(BESTOBJ))
 # fake_ide : for debugging or test-suite purpose, a fake ide simulating
 # a connection to coqtop -ideslave
 
-$(FAKEIDE): toplevel/ide_intf$(BESTOBJ) tools/fake_ide$(BESTOBJ)
+$(FAKEIDE): toplevel/utils/xml_lexer$(BESTOBJ) toplevel/utils/xml_parser$(BESTOBJ) toplevel/utils/xml_utils$(BESTOBJ) toplevel/ide_intf$(BESTOBJ) tools/fake_ide$(BESTOBJ)
 	$(SHOW)'OCAMLBEST -o $@'
 	$(HIDE)$(call bestocaml,,unix)
 
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