mirror of
https://github.com/Z3Prover/z3
synced 2025-04-06 09:34:08 +00:00
update vsts script
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
parent
8602c52bc9
commit
a873cc41bf
|
@ -1,9 +1,15 @@
|
|||
rem Build
|
||||
md build
|
||||
cd build
|
||||
set
|
||||
call "C:\Program Files (x86)\Microsoft Visual Studio\2017\Enterprise\VC\Auxiliary\Build\vcvars64.bat"
|
||||
cmake -G "NMake Makefiles" ../
|
||||
nmake
|
||||
|
||||
rem Run unit tests
|
||||
nmake test-z3
|
||||
test-z3.exe -a
|
||||
|
||||
cd ..
|
||||
rem Run regression tests
|
||||
git pull https://github.com/z3prover/z3test z3test
|
||||
cd z3test
|
||||
|
|
Loading…
Reference in a new issue