From d745d03afdfdf638d66093e2bfbacaf87187f35b Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Thu, 10 Feb 2022 08:55:43 +0200 Subject: [PATCH] switch to vs 2022 Signed-off-by: Nikolaj Bjorner --- azure-pipelines.yml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/azure-pipelines.yml b/azure-pipelines.yml index bff70c859..d29a3dd51 100644 --- a/azure-pipelines.yml +++ b/azure-pipelines.yml @@ -217,12 +217,12 @@ jobs: $(setupCmd1) $(setupCmd2) $(setupCmd3) - call "C:\Program Files (x86)\Microsoft Visual Studio\2019\Enterprise\VC\Auxiliary\Build\vcvarsall.bat" $(arch) + call "C:\Program Files\Microsoft Visual Studio\2022\Enterprise\VC\Auxiliary\Build\vcvarsall.bat" $(arch) cmake $(bindings) -G "NMake Makefiles" ../ nmake cd .. - script: | - call "C:\Program Files (x86)\Microsoft Visual Studio\2019\Enterprise\VC\Auxiliary\Build\vcvarsall.bat" $(arch) + call "C:\Program Files\Microsoft Visual Studio\2022\Enterprise\VC\Auxiliary\Build\vcvarsall.bat" $(arch) pushd build\python python z3test.py z3 python z3test.py z3num