blob: 92fc629b303b30e8960a18e358935e3307894a3c (
plain)
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
27
28
29
30
31
32
33
|
version: '{branch}~{build}'
clone_depth: 10
platform:
- x64
image:
- Visual Studio 2017
environment:
CYGMIRROR: http://ftp.inf.tu-dresden.de/software/windows/cygwin32
matrix:
- USEOPAM: true
ARCH: 64
# Comment out until issue #5998 is fixed.
# - USEOPAM: false
# ARCH: 32
# - USEOPAM: false
# ARCH: 64
build_script:
- cmd: 'call %APPVEYOR_BUILD_FOLDER%\dev\ci\appveyor.bat'
test: off
# Comment out until issue #5998 is fixed.
#artifacts:
# - path: 'dev\nsis\*.exe'
# name: installer
# - path: 'coq-opensource-archive-*.zip'
# name: opensource-archive
|
