#!/bin/sh

set -ex

apt update
apt install --no-install-recommends --no-install-suggests -y libgmp-dev pkg-config libseccomp-dev wget git make gcc ca-certificates libc-dev unzip
/root/orb --version
/root/orb build --solver-timeout=600 --assume-depexts --switch-name=/tmp/myswitch --date=1620122723 --out=. --repos=default:https://opam.ocaml.org,unikernels:https://git.robur.io/hannes/unikernel-repo.git mirage-unikernel-qubes-firewall-xen