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
34
35
36
37
38
39
40
|
platform:
- x64
image: Visual Studio 2017
clone_depth: 1
environment:
global:
CYG_ROOT: C:\cygwin64
CYG_MIRROR: http://mirrors.kernel.org/sourceware/cygwin/
CYG_CACHE: C:/cygwin/var/cache/setup
matrix:
- OCAML_VERSION: 4.07.1
PORT: mingw
- OCAML_VERSION: 4.07.1
PORT: mingw64
- OCAML_VERSION: 4.07.1
PORT: msvc
- OCAML_VERSION: 4.07.1
PORT: msvc64
cache:
- C:\OCaml
install:
- call "%APPVEYOR_BUILD_FOLDER%\appveyor.cmd"
build_script:
- dune build
- dune build test/cbclp.exe
test_script:
- dune build @settests --auto-promote || ver>nul
- dune runtest
# Uncomment this to enable Remote Desktop on the build worker at the end of the
# build. The worker is available for the remainder of the allocated hour.
#on_finish:
# - ps: $blockRdp = $true; iex ((new-object net.webclient).DownloadString('https://raw.githubusercontent.com/appveyor/ci/master/scripts/enable-rdp.ps1'))
|
