From: Keir Fraser <keir.fraser@citrix.com>
Date: Thu, 6 May 2010 10:07:11 +0000 (+0100)
Subject: ocaml: Build ocaml components if configured (default to off).
X-Git-Tag: archive/raspbian/4.8.0-1+rpi1~1^2~12249
X-Git-Url: https://dgit.raspbian.org/?a=commitdiff_plain;h=5469342ba3a1afb6620f9a5cb5f1c8f7108245f7;p=xen.git

ocaml: Build ocaml components if configured (default to off).

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

diff --git a/Config.mk b/Config.mk
index 0552505757..b42ca40438 100644
--- a/Config.mk
+++ b/Config.mk
@@ -163,6 +163,7 @@ XENSTAT_XENTOP     ?= y
 VTPM_TOOLS         ?= n
 LIBXENAPI_BINDINGS ?= n
 PYTHON_TOOLS       ?= y
+OCAML_TOOLS        ?= n
 CONFIG_MINITERM    ?= n
 CONFIG_LOMOUNT     ?= n
 
diff --git a/tools/Makefile b/tools/Makefile
index c34dc864b0..2b84998415 100644
--- a/tools/Makefile
+++ b/tools/Makefile
@@ -40,6 +40,7 @@ SUBDIRS-$(CONFIG_X86) += xenpaging
 ifeq ($(XEN_COMPILE_ARCH),$(XEN_TARGET_ARCH))
 SUBDIRS-$(PYTHON_TOOLS) += python
 SUBDIRS-$(PYTHON_TOOLS) += pygrub
+SUBDIRS-$(OCAML_TOOLS) += ocaml
 endif
 
 # For the sake of linking, set the sys-root