2017-02-22 15:27:09 -08:00
|
|
|
#!/usr/bin/env bash
|
|
|
|
|
|
2017-03-29 11:30:51 -07:00
|
|
|
set -e
|
|
|
|
|
|
2017-02-23 14:04:12 -08:00
|
|
|
export OCAML_VERSION="${1}"
|
2017-02-22 15:27:09 -08:00
|
|
|
|
2017-11-01 01:46:19 -07:00
|
|
|
make clean-for-ci
|
2017-02-23 14:04:12 -08:00
|
|
|
opam switch "${OCAML_VERSION}"
|
|
|
|
|
eval `opam config env`
|
2017-11-01 00:37:49 -07:00
|
|
|
opam update
|
2018-08-20 21:30:20 +01:00
|
|
|
opam install -y dune
|
2017-11-01 00:37:49 -07:00
|
|
|
# Our constraints are wrong I believe. We need this version.
|
2018-08-20 21:30:20 +01:00
|
|
|
opam install -y menhir
|
2017-02-22 15:27:09 -08:00
|
|
|
opam pin add -y reason .
|
2018-01-26 16:56:13 -08:00
|
|
|
opam pin add -y rtop .
|
2017-11-01 14:50:32 -07:00
|
|
|
make test-ci
|
2017-03-09 11:04:02 -08:00
|
|
|
git diff --exit-code
|
