1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
|
#!/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
|
