Ian Jackson 4d0240e033 tools: ocaml: In configure, check for ocamlopt ...

If ocaml.m4 didn't find ocamlopt, disable all the ocaml builds.

Currently our Makefiles do not work properly when the native code
compiler (`ocamlopt') is not available.  In principle this should be
fixed to fall back to bytecode, but this is not a task for this stage
of the Xen 4.9 release.

Without this change, we cannot build on systems with only ocamlc.
That includes Debian jessie ARM64, as used on the new ARM64 hardware
in the Xen Project CI test lab.

When the Makefiles are fixed, this commit should be reverted.

Committers: Please rerun autogen.sh.

CC: Julien Grall <julien.grall@arm.com>
CC: Christian Lindig <christian.lindig@citrix.com>
CC: Jonathan Ludlam <Jonathan.Ludlam@citrix.com>
CC: David Scott <dave@recoil.org>
CC: Wei Liu <wei.liu2@citrix.com>
Tested-by: Ian Jackson <Ian.Jackson@eu.citrix.com>
Signed-off-by: Ian Jackson <Ian.Jackson@eu.citrix.com>
Acked-by: Wei Liu <wei.liu2@citrix.com>

2017-04-03 14:05:16 +01:00

..

blktap2

tools: include sys/sysmacros.h on Linux

2017-03-15 10:22:33 +00:00

console

tools/console: introduce --start-notify-fd option for console client

2016-08-08 11:41:27 +01:00

debugger

x86: remove PVHv1 code

2017-03-16 14:50:10 +00:00

examples

docs: get rid of the SEDF scheduler

2015-07-08 14:37:43 +01:00

firmware

tools/firmware: use a canned config for seabios

2017-03-29 18:28:51 +01:00

flask

xsm: Permit dom0 to use dmops

2017-01-30 12:03:55 +00:00

fuzz

x86emul: correct handling of FPU insns faulting on memory write

2017-03-21 15:12:59 +01:00

helpers

init-xenstore-domain: remove an unused variable

2016-10-04 11:29:40 +01:00

hotplug

tools: don't remove tdb data base file before starting xenstored

2017-01-13 12:08:12 +00:00

include

tools/libxendevicemodel: add a call to restrict the handle

2017-02-23 11:57:51 +00:00

libacpi

tools/firmware: add ACPI device for Windows laptop/slate mode switch

2017-03-29 18:27:31 +01:00

libfsimage

libfsimage: replace deprecated readdir_r() with readdir()

2016-06-03 18:11:55 +01:00

libs

tools/libxenforeignmemory: bind restrict operation to new version

2017-03-27 12:36:01 +01:00

libvchan

tools: remove gntshr support

2017-03-15 10:31:16 +00:00

libxc

libxc/xc_sr_save.c: initialise rec.data before free()

2017-03-29 18:27:49 +01:00

libxl

libxl/xl: add support for Xen 9pfs

2017-03-29 18:27:37 +01:00

memshr

Replace FSF street address with canonical URL

2015-07-29 11:14:07 +01:00

misc

x86/viridian: update to version 5.0a of the specification

2017-03-20 16:59:54 +01:00

ocaml

oxenstored transaction conflicts: improve logging

2017-03-28 13:07:04 +01:00

pygrub

pygrub: Properly quote results, when returning them to the caller:

2016-11-22 13:52:09 +01:00

python

python: handle long type in scripts

2017-02-23 13:11:12 +00:00

tests

x86emul: correct FPU code/data pointers and opcode handling

2017-03-21 15:13:42 +01:00

xcutils

tools: Refactor hypercall calling wrappers into libxencall.

2016-01-22 12:23:30 +00:00

xenbackendd

xenbackendd: honour XEN_{RUN,LOG}_DIR

2016-06-10 10:51:31 +01:00

xenmon

xenmon: initialise dummy array

2016-02-11 15:12:18 +00:00

xenpaging

xenpaging: don't try to log via xch if xc_interface_close fails

2016-02-19 16:45:10 +00:00

xenpmd

Replace FSF street address with canonical URL

2015-07-29 11:14:07 +01:00

xenstat

tools: provide pkg-config file for libxenstat

2017-03-14 14:13:14 +00:00

xenstore

xenstore: cleanup tdb.c

2017-04-03 14:04:41 +01:00

xentrace

tracing: xenalyze: kill spurious ", " in Credit1 traces.

2017-03-27 12:36:59 +01:00

xl

libxl/xl: add support for Xen 9pfs

2017-03-29 18:27:37 +01:00

config.h.in

tools/configure: Drop -lcrypto search

2016-11-15 16:01:28 +00:00

configure

tools: ocaml: In configure, check for ocamlopt

2017-04-03 14:05:16 +01:00

configure.ac

tools: ocaml: In configure, check for ocamlopt

2017-04-03 14:05:16 +01:00

cross-install

…

Makefile

tools: install PKG_INSTALLDIR in tools/Makefile

2017-03-14 14:13:12 +00:00

Rules.mk

tools: remove gntshr support

2017-03-15 10:31:16 +00:00