#!/bin/sh

set -ex

wget -O orb.deb https://builds.robur.coop/job/orb/build/latest/main-binary?platform=debian-12
apt install --no-install-recommends --no-install-suggests -y ./orb.deb
rm orb.deb

DEBIAN_FRONTEND=noninteractive apt install --no-install-recommends --no-install-suggests -y dh-exec

repos="default:https://opam.ocaml.org,unikernels:git://git.robur.coop/robur/unikernel-repo.git"
orb build --latest --disable-sandboxing --solver-timeout=600 --switch-name=/tmp/myswitch --date=1589138087 --out=. --repos=$repos albatross