#!/bin/sh

set -ex

default_repo="default:https://opam.ocaml.org"
unikernel_repo="unikernels:https://git.robur.io/hannes/unikernel-repo.git"
repos="$default_repo,$unikernel_repo";

apt update
apt install --no-install-recommends --no-install-suggests -y libgmp-dev wget git make gcc g++ ca-certificates libc-dev unzip patch
/root/orb --version
/root/orb build --solver-timeout=600 --assume-depexts --switch-name=/tmp/myswitch --date=1589138087 --out=. --repos=$repos orb
: