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
43
44
45
46
47
48
49
50
51
52
53
|
#!/usr/bin/make -f
include /usr/share/dpkg/pkg-info.mk
# Uncomment this to turn on verbose mode.
# export DH_VERBOSE=1
export DEB_BUILD_MAINT_OPTIONS = hardening=+all reproducible=+fixfilepath
export DEB_CPPFLAGS_MAINT_APPEND = \
-DDEB_BUILD_DATE="\"$(shell date -d @$(SOURCE_DATE_EPOCH) +%F)\"" \
-DDEB_BUILD_TIME="\"$(shell date -d @$(SOURCE_DATE_EPOCH) +%T)\""
export DEB_BUILD_BASEDIR = $(shell pwd)
export CCACHE_BASEDIR = $(DEB_BUILD_BASEDIR)
%:
dh $@ --buildsystem=cmake
override_dh_auto_configure:
dh_auto_configure -- \
-DENABLE_GPL=ON -DBUILD_SHARED_LIBS=ON \
-DENABLE_DEBUG_SYMBOLS=ON -DENABLE_PROOFS=ON \
-DENABLE_STATISTICS=ON \
-DENABLE_UNIT_TESTING=ON \
-DUSE_CLN=ON \
-DUSE_CRYPTOMINISAT=ON -DUSE_KISSAT=OFF \
-DUSE_GLPK=OFF \
-DBUILD_BINDINGS_PYTHON=ON \
-DENABLE_AUTO_DOWNLOAD=OFF \
-DUSE_PYTHON_VENV=OFF \
-DSKIP_COMPRESS_DEBUG=ON \
-DSKIP_SET_RPATH=ON \
-DUSE_DEFAULT_LINKER=ON \
-DCMAKE_BUILD_TYPE=Production
override_dh_auto_test:
cd obj-$(DEB_HOST_GNU_TYPE) && make check
override_dh_auto_install:
dh_auto_install
mv -f $(CURDIR)/debian/tmp/usr/local/lib/python3* $(CURDIR)/debian/tmp/usr/lib
chrpath --delete $(CURDIR)/debian/tmp/usr/lib/python3*/dist-packages/cvc5/*.so
execute_after_dh_auto_install:
cd $(CURDIR)/debian/tmp && LD_LIBRARY_PATH=usr/lib/$(DEB_HOST_MULTIARCH) help2man -n "Theorem prover for SMT problems" usr/bin/cvc5 >cvc5.1
override_dh_installdocs:
dh_installdocs --all NEWS.md AUTHORS THANKS
override_dh_auto_clean:
dh_auto_clean
dh_auto_clean --buildsystem=pybuild
|
