forked from coq/coq
-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathappveyor.yml
26 lines (20 loc) · 835 Bytes
/
appveyor.yml
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
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 -P time'
- 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"'