diff options
author | Emilio Jesus Gallego Arias <e+git@x80.org> | 2018-05-27 04:52:02 +0200 |
---|---|---|
committer | Emilio Jesus Gallego Arias <e+git@x80.org> | 2018-06-02 14:57:51 +0200 |
commit | 345c63f5a98eb15ff0336ff853596f5b04ffbe4a (patch) | |
tree | bd4ce3d9308039232d5d366f6211d39b01ad5f38 /dev/ci | |
parent | 3a36761a27487e8917e1b59b59abacc2a7e65b95 (diff) |
[appveyor] Use OCaml version 4.06.1 in the Windows build.
We bump Windows builds to 4.06.1, IMHO it makes sense to use the
latest OCaml version to build on that platform due to the support
status and number of fixes.
Diffstat (limited to 'dev/ci')
-rw-r--r-- | dev/ci/appveyor.sh | 10 |
1 files changed, 8 insertions, 2 deletions
diff --git a/dev/ci/appveyor.sh b/dev/ci/appveyor.sh index c72705c7f..7bf9ad8c9 100644 --- a/dev/ci/appveyor.sh +++ b/dev/ci/appveyor.sh @@ -1,9 +1,15 @@ #!/bin/bash + set -e -x + +APPVEYOR_OPAM_SWITCH=4.06.1+mingw64c + wget https://github.com/fdopen/opam-repository-mingw/releases/download/0.0.0.1/opam64.tar.xz tar -xf opam64.tar.xz bash opam64/install.sh -opam init -a mingw https://github.com/fdopen/opam-repository-mingw.git --comp 4.02.3+mingw64c --switch 4.02.3+mingw64c + +opam init -a mingw https://github.com/fdopen/opam-repository-mingw.git --comp $APPVEYOR_OPAM_SWITCH --switch $APPVEYOR_OPAM_SWITCH eval "$(opam config env)" -opam install -y ocamlfind camlp5 ounit +opam install -y num ocamlfind camlp5 ounit + cd "$APPVEYOR_BUILD_FOLDER" && ./configure -local && make && make byte && make -C test-suite all INTERACTIVE= && make validate |