diff options
| author | Emilio Jesus Gallego Arias | 2020-04-13 16:55:49 -0400 |
|---|---|---|
| committer | Emilio Jesus Gallego Arias | 2020-05-16 19:21:45 +0200 |
| commit | 660eef91c7ebc0350a17f1947b9bd06029cae3ff (patch) | |
| tree | bdc6d7ea1e135d8458e39c27906995bcccbd6aa4 | |
| parent | daa5d0f71657d49965f1334e417f6e0f2e13e8d9 (diff) | |
Revert "Temporarily disable Windows job on Azure."
This reverts commit 646a12b2f4660d6e9d5a812febdccab44221d1f0.
| -rw-r--r-- | azure-pipelines.yml | 56 |
1 files changed, 28 insertions, 28 deletions
diff --git a/azure-pipelines.yml b/azure-pipelines.yml index 770cc5193e..0bc30f0196 100644 --- a/azure-pipelines.yml +++ b/azure-pipelines.yml @@ -6,37 +6,37 @@ variables: NJOBS: "2" jobs: -#- job: Windows -# pool: -# vmImage: 'vs2017-win2016' +- job: Windows + pool: + vmImage: 'vs2017-win2016' -# steps: -# - checkout: self -# fetchDepth: 10 + 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 python3 - -# 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' + - 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 python3 + + 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' - job: macOS pool: |