| Name |
libz3-4 |
| Description |
theorem prover from Microsoft Research - runtime libraries |
| Version |
4.13.3-1 |
| Package Base |
z3 |
| Homepage |
https://github.com/Z3Prover/z3 |
| Maintainers |
['LLVM Packaging Team <pkg-llvm-team@lists.alioth.debian.org>'] |
| Contributors |
['Fabian Wolff <fabi.wolff@arcor.de>'] |
| Distro-repo |
https://salsa.debian.org/pkg-llvm-team/z3 |
| Sources |
['https://sources.debian.org/data/main/z/z3/4.13.3-1/debian/watch', 'https://sources.debian.org/src/z3/4.13.3-1/debian/patches/00-intrinsics.patch', 'https://sources.debian.org/src/z3/4.13.3-1/debian/patches/01-soname.patch', 'https://sources.debian.org/src/z3/4.13.3-1/debian/patches/series'] |
| Dependencies |
['libc6', 'libgcc-s1', 'libstdc++6'] |
| Optional-Dependencies |
[] |
| Build-Dependencies |
['debhelper-compat', 'cmake', 'libsimde-dev', 'python3', 'python3-setuptools', 'dh-sequence-python3 <!nopython>', 'dh-sequence-javahelper [!hppa !hurd-any !m68k !sh4] <!nojava>', 'default-jdk [!hppa !hurd-any !m68k !sh4] <!nojava>'] |
| Provides |
[] |
| Builddate |
|
| Architecture |
amd64 |
| Distro-Version |
trixie |
| Licenses |
[] |
| Hash |
71383373523ef62d47eccf660cf6535c3febcbb3f88e54cb7a43124014b57359 |
#!/usr/bin/make -f
# Uncomment this to turn on verbose mode.
# export DH_VERBOSE=1
export DEB_BUILD_MAINT_OPTIONS = hardening=+all
export DEB_CXXFLAGS_MAINT_APPEND = -fPIC -DSIMDE_ENABLE_OPENMP -fopenmp-simd -O3
ifeq ($(DEB_HOST_ARCH),riscv64)
export DEB_LDFLAGS_MAINT_APPEND = -Wl,--no-as-needed -Wl,-latomic
endif
ifeq ($(DEB_HOST_ARCH),mips64el)
export DEB_CXXFLAGS_MAINT_APPEND += -mxgot
endif
DEB_HOST_MULTIARCH ?= $(shell dpkg-architecture -qDEB_HOST_MULTIARCH)
DOPACKAGES := $(shell dh_listpackages)
WITH_JAVA := $(if $(filter libz3-jni,$(DOPACKAGES)),ON,OFF)
WITH_PYTHON := $(if $(filter python3-z3,$(DOPACKAGES)),ON,OFF)
export CCACHE_BASEDIR = $(shell pwd)
%:
dh $@
override_dh_auto_configure:
dh_auto_configure --buildsystem=cmake+makefile -- \
-DCMAKE_INSTALL_PYTHON_PKG_DIR=lib/python3/dist-packages \
-DCMAKE_BUILD_TYPE=RelWithDebInfo \
-DZ3_BUILD_PYTHON_BINDINGS=$(WITH_PYTHON) \
-DZ3_BUILD_DOTNET_BINDINGS=OFF \
-DZ3_BUILD_JAVA_BINDINGS=$(WITH_JAVA)
override_dh_installdocs:
dh_installdocs -ppython3-z3 -plibz3-java -plibz3-jni --link-doc=libz3-dev
dh_installdocs -Npython3-z3 -Nlibz3-java -Nlibz3-jni
override_dh_installchangelogs:
dh_installchangelogs RELEASE_NOTES.md