diff --git a/Config.mk b/Config.mk
index 45a4580..a0d2be8 100644
--- a/Config.mk
+++ b/Config.mk
@@ -159,6 +159,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 c34dc86..58058f9 100644
--- a/tools/Makefile
+++ b/tools/Makefile
@@ -40,6 +40,8 @@ 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