#!/bin/sh

set -ex

wget -O orb.deb 'http://192.168.0.14:3000/job/orb/build/latest/f/bin/orb.deb?platform=ubuntu-20.04'
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:http://192.168.0.16,unikernels:git://193.30.40.135/robur/unikernel-repo.git"
orb build --disable-sandboxing --solver-timeout=600 --switch-name=/tmp/myswitch --date=1589138087 --out=. --repos=$repos jackline