From eda1e1bc8e9c83173cc6eee5e2a4148910aa5736 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Wed, 5 Jun 2019 06:12:39 +0200 Subject: [PATCH] Update azure-pipeline.vs.yaml for Azure Pipelines --- scripts/azure-pipeline.vs.yaml | 16 ++++++++-------- 1 file changed, 8 insertions(+), 8 deletions(-) diff --git a/scripts/azure-pipeline.vs.yaml b/scripts/azure-pipeline.vs.yaml index d849a0a17..f72346ba5 100644 --- a/scripts/azure-pipeline.vs.yaml +++ b/scripts/azure-pipeline.vs.yaml @@ -6,18 +6,18 @@ steps: # - script: git clone https://github.com/z3prover/bin bin -- task: DotNetCoreInstaller@0 - displayName: 'Use .NET Core sdk 2.1' - inputs: - version: 2.1.300 +#- task: DotNetCoreInstaller@0 +# displayName: 'Use .NET Core sdk 2.1' +# inputs: +# version: 2.1.300 -- task: DownloadSecureFile@1 - inputs: - secureFile: 'z3.snk' +# - task: DownloadSecureFile@1 +# inputs: +# secureFile: 'z3.snk' - script: dir -- script: 'C:\Program Files (x86)\Microsoft Visual Studio\2017\Enterprise\VC\Auxiliary\Build\vcvars64.bat' +- script: '"C:\Program Files (x86)\Microsoft Visual Studio\2017\Enterprise\VC\Auxiliary\Build\vcvars64.bat"' - script: python scripts\mk_win_dist.py --x64-only --dotnet-key=$(Agent.TempDirectory)\z3.snk