diff options
Diffstat (limited to 'dev/build/windows/appveyor.sh')
-rw-r--r-- | dev/build/windows/appveyor.sh | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/dev/build/windows/appveyor.sh b/dev/build/windows/appveyor.sh deleted file mode 100644 index 53f7a2346..000000000 --- a/dev/build/windows/appveyor.sh +++ /dev/null @@ -1,8 +0,0 @@ -#!/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 |