ocaml: remove hook to external repository.

Signed-off-by: Vincent Hanquez <vincent.hanquez@eu.citrix.com>

diff --git a/Config.mk b/Config.mk
index 7fe691fed4f118f996b3c971979941ec20ee61b7..0552505757a96a3b4ee058be95aba0208f26a67d 100644 (file)
--- a/Config.mk
+++ b/Config.mk
@@ -158,12 +158,6 @@ QEMU_TAG ?= 01626771cf2e9285fbfddcbded2820fc77745e4b
 # Fri Apr 30 17:41:45 2010 +0100
 # Implement 'xm vcpu-set' command for HVM guest
 
-OCAML_XENSTORED_REPO=http://xenbits.xensource.com/ext/xen-ocaml-tools.hg
-
-# Build OCAML version of xenstored instead of the in-tree C version?
-# This will cause $(OCAML_XENSTORED_REPO) to be cloned.
-CONFIG_OCAML_XENSTORED ?= n
-
 # Optional components
 XENSTAT_XENTOP     ?= y
 VTPM_TOOLS         ?= n

diff --git a/tools/Makefile b/tools/Makefile
index 48c98026b813b6dea6c99bab3ae8a198a224ebb6..c34dc864b0daeba00dd43398c3375ad018ee77fd 100644 (file)
--- a/tools/Makefile
+++ b/tools/Makefile
@@ -6,7 +6,6 @@ SUBDIRS-y += check
 SUBDIRS-y += include
 SUBDIRS-y += libxc
 SUBDIRS-y += flask
-SUBDIRS-$(CONFIG_OCAML_XENSTORED) += ocaml-xenstored
 SUBDIRS-y += xenstore
 SUBDIRS-y += misc
 SUBDIRS-y += examples
@@ -114,23 +113,3 @@ subdir-clean-ioemu-dir:
                $(buildmakevars2shellvars); \
                $(MAKE) -C ioemu-dir clean; \
        fi
-
-ocaml-xenstored:
-       set -ex; \
-       rm -rf ocaml-xenstored.tmp; \
-       hg clone $(OCAML_XENSTORED_REPO) ocaml-xenstored.tmp; \
-       if [ "$(OCAML_XENSTORED_TAG)" ]; then \
-               hg -R ocaml-xenstored.tmp update -r $(OCAML_XENSTORED_TAG) ;\
-               hg -R ocaml-xenstored.tmp branch mybranch ;\
-       fi;                                             \
-       mv ocaml-xenstored.tmp ocaml-xenstored; \
-
-subdir-all-ocaml-xenstored subdir-install-ocaml-xenstored: ocaml-xenstored
-       $(absolutify_xen_root); \
-       $(MAKE) -C ocaml-xenstored $(patsubst subdir-%-ocaml-xenstored,%,$@);
-
-subdir-clean-ocaml-xenstored:
-       set -e; if test -d ocaml-xenstored; then \
-               $(MAKE) -C ocaml-xenstored clean; \
-       fi
-

diff --git a/tools/xenstore/Makefile b/tools/xenstore/Makefile
index f64ba9face239c2614adddffd6ee297f5296fc37..6ef6ff0075656ba3b7b2f420ee7271825964f318 100644 (file)
--- a/tools/xenstore/Makefile
+++ b/tools/xenstore/Makefile
@@ -95,11 +95,6 @@ tarball: clean
 
 .PHONY: install
 install: all
-ifneq ($(CONFIG_OCAML_XENSTORED),y)
-       $(INSTALL_DIR) $(DESTDIR)/var/run/xenstored
-       $(INSTALL_DIR) $(DESTDIR)/var/lib/xenstored
-       $(INSTALL_PROG) xenstored $(DESTDIR)$(SBINDIR)
-endif
        $(INSTALL_DIR) $(DESTDIR)$(BINDIR)
        $(INSTALL_DIR) $(DESTDIR)$(SBINDIR)
        $(INSTALL_DIR) $(DESTDIR)$(INCLUDEDIR)