From ac2fe879ae4321e91d91af2e42c607e3a7e8bd8a Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Mon, 19 Mar 2018 15:55:00 -0700 Subject: [PATCH] update script Signed-off-by: Nikolaj Bjorner --- scripts/vsts.cmd | 12 +++++++----- 1 file changed, 7 insertions(+), 5 deletions(-) diff --git a/scripts/vsts.cmd b/scripts/vsts.cmd index 639e2f82d..6e8eba43f 100644 --- a/scripts/vsts.cmd +++ b/scripts/vsts.cmd @@ -1,26 +1,28 @@ -rem Build +echo "Build" md build cd build call "C:\Program Files (x86)\Microsoft Visual Studio\2017\Enterprise\VC\Auxiliary\Build\vcvars64.bat" cmake -DBUILD_DOTNET_BINDINGS=True -DBUILD_JAVA_BINDINGS=True -DBUILD_PYTHON_BINDINGS=True -G "NMake Makefiles" ../ nmake +rem TBD: test error level -rem test python bindings +echo "Test python bindings" pushd python python z3test.py z3 python z3test.py z3num popd -rem Build and run examples +echo "Build and run examples" -rem Build and run unit tests +echo "Build and run unit tests" nmake test-z3 +rem TBD: test error level rem test-z3.exe -a cd .. -rem Run regression tests +echo "Run regression tests" rem git pull https://github.com/z3prover/z3test z3test rem cd z3test