If on ARM, default to building ARM

Signed-off-by: David Scott <dave.scott@citrix.com>
Add package containing missing header

Signed-off-by: David Scott <dave.scott@citrix.com>
specdep: if we're building on armv7l, build armhf packages

armhf is the architecture of the ARM trusty port.

Signed-off-by: David Scott <dave.scott@citrix.com>
debiancontrol: add armhf to x86_64 and i686

Signed-off-by: David Scott <dave.scott@citrix.com>
Cache more packages for the ubuntu build
Merge pull request #515 from euanh/build-improvements

xenserver-core-latest-snapshot: Remove unused metapackage
Merge pull request #481 from djs55/linaro2

Some of the change sets needed for ARM
Fix specfile typo
Merge pull request #517 from BobBall/missing-header-spec-fix

Fix specfile typo
Merge pull request #503 from BobBall/ubuntu-speedup

Cache more packages for the ubuntu build
Add an ignore file for Linaro/trusty: don't build OASIS or Mirage

Signed-off-by: David Scott <dave.scott@eu.citrix.com>
ocaml-evtchn: we need the xen-missing-headers

Otherwise we fail to build the unix.activations subpackage, which
will be needed by other tools.

Signed-off-by: David Scott <dave.scott@eu.citrix.com>
pbuilder: add universe, because cowdancer on armhf has migrated there (!)

Signed-off-by: David Scott <dave.scott@eu.citrix.com>
debian: the reported arch could be armhf or maybe armv7l

In both cases this should be "any" rather than "all" (where "any"
is like '_a i.e. a monomorphic variable which gets unified later)

Signed-off-by: David Scott <dave.scott@eu.citrix.com>
mappkgname: treat Linaro the same as Ubuntu

Signed-off-by: David Scott <dave.scott@eu.citrix.com>
xcp-idl: update to 0.9.18

This is needed by the newer xenopsd.

Signed-off-by: David Scott <dave.scott@eu.citrix.com>
Update to xenopsd 0.9.39, with libxl support

Signed-off-by: David Scott <dave.scott@eu.citrix.com>
xenserver-core: depend on xenopsd-xenlight

Signed-off-by: David Scott <dave.scott@eu.citrix.com>
ocaml-xen-lowlevel-libs: update to 0.9.21, package xenlight

Signed-off-by: David Scott <dave.scott@eu.citrix.com>
xenopsd: create xenopsd-xenlight subpackage

Signed-off-by: David Scott <dave.scott@eu.citrix.com>