aboutsummaryrefslogtreecommitdiffstats
path: root/Config.mk
diff options
context:
space:
mode:
authorKeir Fraser <keir.fraser@citrix.com>2009-05-19 14:13:20 +0100
committerKeir Fraser <keir.fraser@citrix.com>2009-05-19 14:13:20 +0100
commitc7367160e47a01e07fabfcb38fcb5951773b04d4 (patch)
tree8877d3a06c90e10389e696cc4563b75926eb106f /Config.mk
parent1f876c2e6e48431940adb8ebd0a6960367cdc853 (diff)
downloadxen-c7367160e47a01e07fabfcb38fcb5951773b04d4.tar.gz
xen-c7367160e47a01e07fabfcb38fcb5951773b04d4.tar.bz2
xen-c7367160e47a01e07fabfcb38fcb5951773b04d4.zip
ocaml-xenstored: Allow to build ocaml xenstored instead of C version
To use, set CONFIG_OCAML_XENSTORED=y at build time. Then the build system will automatically download the remote repo to tools/ocaml-xenstored. Signed-off-by: Alex Zeffertt <alex.zeffertt@eu.citrix.com>
Diffstat (limited to 'Config.mk')
-rw-r--r--Config.mk6
1 files changed, 6 insertions, 0 deletions
diff --git a/Config.mk b/Config.mk
index 214b59296f..d756a60f9c 100644
--- a/Config.mk
+++ b/Config.mk
@@ -125,6 +125,12 @@ QEMU_REMOTE=http://xenbits.xensource.com/git-http/qemu-xen-unstable.git
# CONFIG_QEMU ?= ../qemu-xen.git
CONFIG_QEMU ?= $(QEMU_REMOTE)
+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