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

wget http://192.168.0.12:3000/job/orb-ubuntu-20.04/build/latest/f/bin/orb.deb
dpkg -i orb.deb
rm orb.deb

orb build --disable-sandboxing --solver-timeout=600 --assume-depexts --switch-name=/tmp/myswitch --date=1589138087 --out=. --repos=$repos builder
: