diff options
| author | Théo Zimmermann | 2019-05-08 20:35:58 +0200 |
|---|---|---|
| committer | Théo Zimmermann | 2019-05-08 20:36:30 +0200 |
| commit | df8e45d9bd3908278254e769839ddc98d5057ee5 (patch) | |
| tree | d672708cb52c3ad196922bb018c65a76d57dd4d3 /dev | |
| parent | 86fd245bfd5c9750b515ea4204b0a9a50c14d930 (diff) | |
Clean-up: remove dead appveyor.sh file.
Diffstat (limited to 'dev')
| -rw-r--r-- | dev/ci/appveyor.sh | 17 |
1 files changed, 0 insertions, 17 deletions
diff --git a/dev/ci/appveyor.sh b/dev/ci/appveyor.sh deleted file mode 100644 index f26e0904bc..0000000000 --- a/dev/ci/appveyor.sh +++ /dev/null @@ -1,17 +0,0 @@ -#!/bin/bash - -set -e -x - -APPVEYOR_OPAM_VARIANT=ocaml-variants.4.07.1+mingw64c -NJOBS=2 - -wget https://github.com/fdopen/opam-repository-mingw/releases/download/0.0.0.2/opam64.tar.xz -O opam64.tar.xz -tar -xf opam64.tar.xz -bash opam64/install.sh - -opam init default -j $NJOBS -a -y "https://github.com/fdopen/opam-repository-mingw.git#opam2" -c $APPVEYOR_OPAM_VARIANT --disable-sandboxing -eval "$(opam env)" -opam install -j $NJOBS -y num ocamlfind ounit - -# Full regular Coq Build -cd "$APPVEYOR_BUILD_FOLDER" && ./configure -local && make -j $NJOBS && make byte -j $NJOBS && make -j $NJOBS -C test-suite all INTERACTIVE= # && make validate |