1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
|
#!/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
|
