mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-12 12:08:18 +00:00
Code Activity

update script

Browse source 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
Nikolaj Bjorner 2018-03-19 15:55:00 -07:00
parent 965da74d01
commit ac2fe879ae
1 changed files with 7 additions and 5 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

12
scripts/vsts.cmd
View file

@ -1,26 +1,28 @@
rem Build echo "Build"
md build md build
cd build cd build
call "C:\Program Files (x86)\Microsoft Visual Studio\2017\Enterprise\VC\Auxiliary\Build\vcvars64.bat" 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" ../ cmake -DBUILD_DOTNET_BINDINGS=True -DBUILD_JAVA_BINDINGS=True -DBUILD_PYTHON_BINDINGS=True -G "NMake Makefiles" ../
nmake nmake
rem TBD: test error level
rem test python bindings echo "Test python bindings"
pushd python pushd python
python z3test.py z3 python z3test.py z3
python z3test.py z3num python z3test.py z3num
popd 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 nmake test-z3
rem TBD: test error level
rem test-z3.exe -a rem test-z3.exe -a
cd .. cd ..
rem Run regression tests echo "Run regression tests"
rem git pull https://github.com/z3prover/z3test z3test rem git pull https://github.com/z3prover/z3test z3test
rem cd z3test rem cd z3test