etc/ci_opam_build.sh


1
2
3
4
5
6
7
8
9
10
11
12

#!/bin/sh

set -eu

opam init -y --no-setup --compiler=4.06.1 --shell=sh

eval `opam config env`

opam repository -y add rems https://github.com/rems-project/opam-repository.git
opam pin -y add sail .
opam install -y -v sail
sail -v