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
|
#!/usr/bin/make -f
export DEB_BUILD_MAINT_OPTIONS = hardening=+all
export DEB_CFLAGS_MAINT_APPEND = -D_DEFAULT_SOURCE
DPKG_EXPORT_BUILDFLAGS = 1
include /usr/share/dpkg/buildflags.mk
include /usr/share/dpkg/pkg-info.mk
%:
dh $@
override_dh_auto_configure:
override_dh_auto_build:
# only build binaries we want to install
make drat-trim lrat-check
override_dh_auto_test:
ifeq (,$(filter, nocheck,$(DEB_BUILD_OPTIONS)))
./debian/tests/run-examples ./drat-trim examples
endif
execute_after_dh_auto_build:
help2man --version-string=$(DEB_VERSION_UPSTREAM) --name="DRAT-trim Satisfiability Proof Checker" -N -o drat-trim.1 ./drat-trim
|
