diff options
| author | Maxime Dénès | 2017-07-21 17:14:29 +0200 |
|---|---|---|
| committer | Maxime Dénès | 2017-07-21 17:14:29 +0200 |
| commit | c0fdb912c5e63bb43d6e8dd320e9f5613c6237ff (patch) | |
| tree | ab0e7f43c58a2554f78f317893eb69120dae5dd4 /dev | |
| parent | f30269579b78d5bf65dcd5db70e341fe9598b274 (diff) | |
| parent | 5b3d0f2cd7a5f480fe24a938e2f6713798c7139a (diff) | |
Merge PR #897: Fix test suite on windows (wrt fake_ide and coq-makefile)
Diffstat (limited to 'dev')
| -rw-r--r-- | dev/build/windows/appveyor.sh | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/dev/build/windows/appveyor.sh b/dev/build/windows/appveyor.sh new file mode 100644 index 0000000000..53f7a23466 --- /dev/null +++ b/dev/build/windows/appveyor.sh @@ -0,0 +1,8 @@ +#!/bin/bash +set -e -x +wget $opam_url +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 +eval $(opam config env) +opam install -y ocamlfind camlp5 |