Merge branch 'sail2' of https://github.com/rems-project/sail into sail2

1 files changed, 12 insertions, 0 deletions

diff --git a/etc/ci_opam_build.sh b/etc/ci_opam_build.sh
new file mode 100755
index 00000000..10af3e3c
--- /dev/null
+++ b/etc/ci_opam_build.sh
@@ -0,0 +1,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