#!/usr/bin/make -f # Do not include build information (for reproducibility) export DEB_CXXFLAGS_MAINT_APPEND = -DNBUILD -fPIC export DEB_BUILD_MAINT_OPTIONS = hardening=+all DPKG_EXPORT_BUILDFLAGS = 1 include /usr/share/dpkg/buildflags.mk include /usr/share/dpkg/pkg-info.mk %: dh $@ override_dh_auto_configure: ./configure execute_after_dh_auto_build: help2man --version-string=$(DEB_VERSION_UPSTREAM) --name="CaDiCaL Simplified Satisfiability Solver" -N -o cadical.1 build/cadical help2man --version-string=$(DEB_VERSION_UPSTREAM) --name="CaDiCaL Simplified Satisfiability Solver" -N -o mobical.1 -h -h build/mobical