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