#!/bin/bash -ex

$CC --version

# random config or default config
if [[ "${RANDCONFIG}" == "y" ]]; then
    make -C xen KCONFIG_ALLCONFIG=tools/kconfig/allrandom.config randconfig
else
    make -C xen defconfig
fi

# build up our configure options
cfgargs=()
cfgargs+=("--disable-stubdom") # more work needed into building this
cfgargs+=("--disable-rombios")
cfgargs+=("--enable-docs")
cfgargs+=("--with-system-seabios=/usr/share/seabios/bios.bin")

# Qemu requires Python 3.5 or later
if ! type python3 || python3 -c "import sys; res = sys.version_info < (3, 5); exit(not(res))"; then
    cfgargs+=("--with-system-qemu=/bin/false")
fi

if [[ "${XEN_TARGET_ARCH}" == "x86_64" ]]; then
    cfgargs+=("--enable-tools")
else
    cfgargs+=("--disable-tools") # we don't have the cross depends installed
fi

./configure "${cfgargs[@]}"

make dist