From 451e70afee4b2208c09d2f4d30aca7f7a59395c8 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Wed, 5 Jun 2019 06:15:28 +0200 Subject: [PATCH] Update azure-pipeline.vs.yaml for Azure Pipelines --- scripts/azure-pipeline.vs.yaml | 19 +++++++++---------- 1 file changed, 9 insertions(+), 10 deletions(-) diff --git a/scripts/azure-pipeline.vs.yaml b/scripts/azure-pipeline.vs.yaml index f72346ba5..f54d8a2de 100644 --- a/scripts/azure-pipeline.vs.yaml +++ b/scripts/azure-pipeline.vs.yaml @@ -4,25 +4,24 @@ pool: steps: -# - script: git clone https://github.com/z3prover/bin bin +- 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: python scripts\mk_win_dist.py --x64-only --dotnet-key=$(Agent.TempDirectory)\z3.snk -# - script: "C:\\Program\ Files\ (x86)\\Microsoft\ Visual\ Studio\\2017\\Enterprise\\VC\\Auxiliary\\Build\\vcvars32.bat" +# - script: '"C:\Program Files (x86)\Microsoft Visual Studio\2017\Enterprise\VC\Auxiliary\Build\vcvars32.bat"' # - script: python scripts\mk_win_dist.py --x86-only --dotnet-key=$(Agent.TempDirectory)\z3.snk