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 /appveyor.yml | |
parent | df7f4445e73d7b47a3964fa477c533e6084eaa6f (diff) |
Make AppVeyor generate Windows package.
Diffstat (limited to 'appveyor.yml')
-rw-r--r-- | appveyor.yml | 28 |
1 files changed, 17 insertions, 11 deletions
diff --git a/appveyor.yml b/appveyor.yml index ea31075a6..64c1bedb5 100644 --- a/appveyor.yml +++ b/appveyor.yml @@ -8,18 +8,24 @@ image: - Visual Studio 2017 environment: - CYGROOT: C:\cygwin64 CYGMIRROR: http://ftp.inf.tu-dresden.de/software/windows/cygwin32 - CYGCACHE: C:\cygwin64\var\cache\setup - opam_url: https://github.com/fdopen/opam-repository-mingw/releases/download/0.0.0.1/opam64.tar.xz - -install: -- cmd: '%CYGROOT%\setup-x86_64.exe -qnNdO -R %CYGROOT% -l %CYGCACHE% -s - %CYGMIRROR% -P rsync -P patch -P diffutils -P make -P unzip -P m4 -P findutils -P time' -- cmd: '%CYGROOT%/bin/bash -l %APPVEYOR_BUILD_FOLDER%/dev/build/windows/appveyor.sh' + matrix: + - USEOPAM: true + ARCH: 64 + - USEOPAM: false + ARCH: 32 + - USEOPAM: false + ARCH: 64 build_script: -- cmd: '%CYGROOT%/bin/bash -lc "cd $APPVEYOR_BUILD_FOLDER && ./configure -local && make"' +- cmd: 'call %APPVEYOR_BUILD_FOLDER%\dev\ci\appveyor.bat' + +test: off + +artifacts: + - path: 'dev\nsis\*.exe' + name: installer + + - path: 'coq-opensource-archive-*.zip' + name: opensource-archive -test_script: -- cmd: '%CYGROOT%/bin/bash -lc "cd $APPVEYOR_BUILD_FOLDER && make byte && make -C test-suite all INTERACTIVE= && make validate"' |