From c6f8ca447e8e3f90583a2b9beb09bbe90a6855b1 Mon Sep 17 00:00:00 2001 From: amai2012 Date: Tue, 15 Dec 2020 12:51:01 +0100 Subject: [PATCH] Update z3 for appveyor build (#2950) --- appveyor.yml | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/appveyor.yml b/appveyor.yml index 4aa84b6a6..9fad393d9 100644 --- a/appveyor.yml +++ b/appveyor.yml @@ -59,9 +59,9 @@ install: - pip install pytest - SET p=x86 - IF "%platform%"=="x64" SET p=x64 - - curl -fsSL https://github.com/Z3Prover/z3/releases/download/z3-4.8.7/z3-4.8.7-%p%-win.zip -o z3-4.8.7-win.zip - - 7z x z3-4.8.7-win.zip -oexternals -r -y - - move externals\z3-4.8.7-%p%-win externals\z3 + - curl -fsSL https://github.com/Z3Prover/z3/releases/download/z3-4.8.9/z3-4.8.9-%p%-win.zip -o z3-4.8.9-win.zip + - 7z x z3-4.8.9-win.zip -oexternals -r -y + - move externals\z3-4.8.9-%p%-win externals\z3 build_script: - ECHO Building %configuration% %platform% with MSVC %VisualStudioVersion% using %PlatformToolset% PlatformToolset