#!/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";

pkg install -y gmake ca_root_nss bash git patch
/root/orb.exe --version

/root/orb.exe build --solver-timeout=600 --assume-depexts --switch-name=/tmp/myswitch --date=1589138087 --out=. --repos=$repos orb