mirror of
https://github.com/Z3Prover/z3
synced 2025-04-06 01:24:08 +00:00
add cmake pipe to mac build
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
parent
9b4f327e29
commit
536f2a1e25
|
@ -83,6 +83,38 @@ jobs:
|
|||
|
||||
|
||||
|
||||
- job: "MacOSCMake"
|
||||
displayName: "MacOS build with CMake"
|
||||
pool:
|
||||
vmImage: "macOS-10.14"
|
||||
steps:
|
||||
- script: brew install ninja
|
||||
- script: |
|
||||
mkdir build
|
||||
cd build
|
||||
CC=clang CXX=clang++ cmake -DBUILD_DOTNET_BINDINGS=True -DBUILD_JAVA_BINDINGS=True -G "Ninja" ../
|
||||
ninja
|
||||
ninja test-z3
|
||||
ninja c_example
|
||||
ninja cpp_example
|
||||
ninja z3_tptp5
|
||||
ninja c_maxsat_example
|
||||
examples/c_example_build_dir/c_example
|
||||
examples/cpp_example_build_dir/cpp_example
|
||||
examples/tptp_build_dir/z3_tptp5 -help
|
||||
examples/c_maxsat_example_build_dir/c_maxsat_example ../examples/maxsat/ex.smt
|
||||
# TBD: add python examples
|
||||
mkdir -p examples/java
|
||||
cp ../examples/java/JavaExample.java examples/java/
|
||||
javac examples/java/Javaexamplejava -classpath com.microsoft.z3.jar
|
||||
export LD_LIBRARY_PATH=$(pwd):${LD_LIBRARY_PATH}
|
||||
java -cp .:examples/java:com.microsoft.z3.jar JavaExample
|
||||
./test-z3 -a
|
||||
cd ..
|
||||
- script: git clone https://github.com/z3prover/z3test z3test
|
||||
- script: python z3test/scripts/test_benchmarks.py build/z3 z3test/regressions/smt2
|
||||
|
||||
|
||||
|
||||
|
||||
|
||||
|
|
Loading…
Reference in a new issue