PKGNAME=z3
PKGDES="Z3 Efficient Theorem Prover"
PKGSEC=math
PKGDEP="glibc python-3"
BUILDDEP="setuptools gcc-runtime"

ABTYPE=cmakeninja
CMAKE_AFTER="-DZ3_LINK_TIME_OPTIMIZATION=ON \
             -DZ3_BUILD_PYTHON_BINDINGS=ON \
             -DPYTHON_EXECUTABLE=/usr/bin/python3"
