Skip to content

Latest commit

 

History

History
19 lines (11 loc) · 380 Bytes

README.md

File metadata and controls

19 lines (11 loc) · 380 Bytes
Raw

Microsoft.Z3.OSX.ARM64

Dotnet build of Z3 for Mac OSX and ARM64.

Build Z3 Mac OS X ARM64

In repo directory:
git clone [email protected]:Z3Prover/z3.git

cd z3

git checkout tags/z3-4.8.11 

CXX=clang++ CC=clang FPMATH_ENABLED=False python3 scripts/mk_make.py --dotnet --dotnet-key=./resources/z3.snk

cd build

make

dotnet build z3.csproj