diff options
author | Maxime Dénès <mail@maximedenes.fr> | 2017-07-19 15:47:13 +0200 |
---|---|---|
committer | Maxime Dénès <mail@maximedenes.fr> | 2017-09-05 21:19:39 +0200 |
commit | 2fee07f74a89dcdf526260934acd36ee71c9ccfa (patch) | |
tree | d812422a30e854fa13c6d53242c4c892db9e0871 /dev/build | |
parent | df7f4445e73d7b47a3964fa477c533e6084eaa6f (diff) |
Make AppVeyor generate Windows package.
Diffstat (limited to 'dev/build')
-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 |