aboutsummaryrefslogtreecommitdiffhomepage
path: root/appveyor.yml
blob: 64c1bedb548a40c59fb8ae0c42b3aadd91fd4de6 (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
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
  - USEOPAM: false
    ARCH: 32
  - USEOPAM: false
    ARCH: 64

build_script:
- 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