diff options
Diffstat (limited to 'etc')
| -rwxr-xr-x | etc/ci_opam_latest_build.sh | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/etc/ci_opam_latest_build.sh b/etc/ci_opam_latest_build.sh new file mode 100755 index 00000000..13fbe0ac --- /dev/null +++ b/etc/ci_opam_latest_build.sh @@ -0,0 +1,12 @@ +#!/bin/sh + +set -eu + +opam init -y --no-setup --compiler=4.10 --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 |