diff options
author | Maxime Dénès <mail@maximedenes.fr> | 2017-06-20 16:26:24 +0200 |
---|---|---|
committer | Enrico Tassi <Enrico.Tassi@inria.fr> | 2017-07-20 15:40:48 +0200 |
commit | 7af3bdf56f278e8928df7bdf63fddd159be610ec (patch) | |
tree | 3f78ca7a0ebabb7ab535f743cbb6b3493f0aed84 /appveyor.yml | |
parent | 4d858df22bb30d2efbef39a177c28c15c600c885 (diff) |
Add AppVeyor infrastructure, launching the test suite under Windows.
Diffstat (limited to 'appveyor.yml')
-rw-r--r-- | appveyor.yml | 26 |
1 files changed, 26 insertions, 0 deletions
diff --git a/appveyor.yml b/appveyor.yml new file mode 100644 index 000000000..e57e7e946 --- /dev/null +++ b/appveyor.yml @@ -0,0 +1,26 @@ +version: '{branch}~{build}' +clone_depth: 10 + +platform: +- x64 + +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 curl -P make -P unzip -P git -p m4 + -P perl -P findutils' +- cmd: '%CYGROOT%/bin/bash -l %APPVEYOR_BUILD_FOLDER%/dev/build/windows/appveyor.sh' + +build_script: +- cmd: '%CYGROOT%/bin/bash -lc "cd $APPVEYOR_BUILD_FOLDER && ./configure -local && make"' + +test_script: +- cmd: '%CYGROOT%/bin/bash -lc "cd $APPVEYOR_BUILD_FOLDER && make -C test-suite && make validate"' |