diff options
author | Keir Fraser <keir.fraser@citrix.com> | 2010-05-06 11:10:02 +0100 |
---|---|---|
committer | Keir Fraser <keir.fraser@citrix.com> | 2010-05-06 11:10:02 +0100 |
commit | a4c08349515acb96c5faab38098f6f68f0700433 (patch) | |
tree | fe5e268e375a3fd53fc8fb4460ad081ff08930cb /Config.mk | |
parent | 5469342ba3a1afb6620f9a5cb5f1c8f7108245f7 (diff) | |
download | xen-a4c08349515acb96c5faab38098f6f68f0700433.tar.gz xen-a4c08349515acb96c5faab38098f6f68f0700433.tar.bz2 xen-a4c08349515acb96c5faab38098f6f68f0700433.zip |
ocaml: Build components by default on Linux if toolchain installed.
Signed-off-by: Vincent Hanquez <vincent.hanquez@eu.citrix.com>
Diffstat (limited to 'Config.mk')
-rw-r--r-- | Config.mk | 10 |
1 files changed, 9 insertions, 1 deletions
@@ -163,8 +163,16 @@ XENSTAT_XENTOP ?= y VTPM_TOOLS ?= n LIBXENAPI_BINDINGS ?= n PYTHON_TOOLS ?= y -OCAML_TOOLS ?= n +OCAML_TOOLS ?= y CONFIG_MINITERM ?= n CONFIG_LOMOUNT ?= n +ifeq ($(OCAML_TOOLS),y) +ifeq ($(CONFIG_Linux),y) +OCAML_TOOLS := $(shell ocamlopt -v > /dev/null 2>&1 && echo "y" || echo "n") +else +OCAML_TOOLS := n +endif +endif + -include $(XEN_ROOT)/.config |