blob: e217601ae231d2123d01eb7f03496e476e292abf (
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
|
pool:
vmImage: 'vs2017-win2016'
steps:
- checkout: self
fetchDepth: 10
# cygwin package list not checked for minimality
- script: |
powershell -Command "(New-Object Net.WebClient).DownloadFile('http://www.cygwin.com/setup-x86_64.exe', 'setup-x86_64.exe')"
SET CYGROOT=C:\cygwin64
SET CYGCACHE=%CYGROOT%\var\cache\setup
setup-x86_64.exe -qnNdO -R %CYGROOT% -l %CYGCACHE% -s %CYGMIRROR% -P rsync -P patch -P diffutils -P make -P unzip -P m4 -P findutils -P time -P wget -P curl -P git -P mingw64-x86_64-binutils,mingw64-x86_64-gcc-core,mingw64-x86_64-gcc-g++,mingw64-x86_64-pkg-config,mingw64-x86_64-windows_default_manifest -P mingw64-x86_64-headers,mingw64-x86_64-runtime,mingw64-x86_64-pthreads,mingw64-x86_64-zlib -P python
SET TARGET_ARCH=x86_64-w64-mingw32
SET CD_MFMT=%cd:\=/%
SET RESULT_INSTALLDIR_CFMT=%CD_MFMT:C:/=/cygdrive/c/%
C:\cygwin64\bin\bash -l %cd%\dev\build\windows\configure_profile.sh
displayName: 'Install cygwin'
env:
CYGMIRROR: "http://mirror.easyname.at/cygwin"
- script: C:\cygwin64\bin\bash -l %cd%\dev\ci\azure-opam.sh
displayName: 'Install opam'
- script: C:\cygwin64\bin\bash -l %cd%\dev\ci\azure-build.sh
displayName: 'Build Coq'
- script: C:\cygwin64\bin\bash -l %cd%\dev\ci\azure-test.sh
displayName: 'Test Coq'
|
