1#!/bin/bash -ex
2
3$CC --version
4
5# random config or default config
6if [[ "${RANDCONFIG}" == "y" ]]; then
7    make -C xen KCONFIG_ALLCONFIG=tools/kconfig/allrandom.config randconfig
8else
9    make -C xen defconfig
10fi
11
12# build up our configure options
13cfgargs=()
14cfgargs+=("--disable-stubdom") # more work needed into building this
15cfgargs+=("--disable-rombios")
16cfgargs+=("--enable-docs")
17cfgargs+=("--with-system-seabios=/usr/share/seabios/bios.bin")
18
19if [[ "${XEN_TARGET_ARCH}" == "x86_64" ]]; then
20    cfgargs+=("--enable-tools")
21else
22    cfgargs+=("--disable-tools") # we don't have the cross depends installed
23fi
24
25./configure "${cfgargs[@]}"
26
27make dist
28