OpenBSD 6.4: MirageOS

setup.sh

#!/bin/sh -e

### Currently working, with Solo5 0.4, 2018-09-25 03:13:00 2018 UTC

# Please ensure doas is setup for the current user

# tweak the environment, so things can be a little cleaner
PREFIX=$HOME/.local
if [ ! -d "$PREFIX" ]; then
  mkdir $PREFIX
fi
export PATH=$PREFIX/bin:$PATH
export AUTOCONF_VERSION=2.69

# required packages
doas pkg_add -Dsnap autoconf%2.69 bash bzip2 curl git gmake gpatch gtar-- ocaml pkgconf unzip-- xz

# build opam
ulimit -s 32768
git clone https://github.com/ocaml/opam.git
cd opam
git checkout tags/2.0.3
./configure --prefix $PREFIX
gmake lib-ext
gmake
gmake install
cd ..

# setup opam and mirage
opam init --comp 4.07.0
eval $(opam env)
opam install mirage -y

# mirage-skeleton tutorials
git clone https://github.com/mirage/mirage-skeleton.git
cd mirage-skeleton/tutorial/noop
opam pin solo5-bindings-hvt https://github.com/adamsteen/solo5.git#openbsd_fix_old
mirage configure -t hvt
gmake depends
gmake