mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-22 16:45:31 +00:00
Code Activity

Add MSVC ARM64 job to Azure Pipelines

Browse source
This commit is contained in:
Michał Janiszewski 2019-10-24 22:04:21 +02:00 • committed by Nikolaj Bjorner
parent 3feb1479c9
commit 9ae1a6f061
2 changed files with 15 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

10
scripts/vsts-vs2017.cmd
View file

@ -1,4 +1,4 @@
rem Supply argument x64 or x86
rem Supply argument x64, x86 or amd64_arm64
echo "Build"
md build
@ -8,7 +8,8 @@ cmake -DBUILD_DOTNET_BINDINGS=True -DBUILD_JAVA_BINDINGS=True -DBUILD_PYTHON_BIN
nmake
if ERRORLEVEL 1 exit 1
if %1 == "x86" goto :BUILD_EXAMPLES
if %1==x86 goto BUILD_EXAMPLES
if %1==amd64_arm64 goto BUILD_EXAMPLES
echo "Test python bindings"
pushd python
python z3test.py z3
@ -20,10 +21,13 @@ popd
:BUILD_EXAMPLES
echo "Build and run examples"
nmake cpp_example
if %1==amd64_arm64 goto C_EXAMPLE
examples\cpp_example_build_dir\cpp_example.exe
if ERRORLEVEL 1 exit 1
:C_EXAMPLE
nmake c_example
if %1==amd64_arm64 goto ALL_DONE
examples\c_example_build_dir\c_example.exe
if ERRORLEVEL 1 exit 1
@ -49,3 +53,5 @@ python z3test\scripts\test_benchmarks.py build\z3.exe z3test\regressions\smt2
if ERRORLEVEL 1 exit 1
echo "benchmarks tested"
:ALL_DONE
echo "All done"