#!/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                          \
		-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
	chrpath --delete $(CURDIR)/debian/tmp/usr/lib/python3*/dist-packages/cvc5/*.so

override_dh_installdocs:
	dh_installdocs --all NEWS.md AUTHORS THANKS

override_dh_auto_clean:
	dh_auto_clean
	dh_auto_clean --buildsystem=pybuild
