File: rules

package info (click to toggle)
cvc4 1.6-2
  • links: PTS, VCS
  • area: main
  • in suites: buster, sid
  • size: 54,516 kB
  • sloc: cpp: 262,804; ansic: 126,172; sh: 7,163; java: 5,041; makefile: 2,953; python: 1,511; lisp: 763; perl: 47; ml: 37; ruby: 20; tcl: 18
file content (32 lines) | stat: -rwxr-xr-x 873 bytes parent folder | download
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
#!/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

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)\""

%:
	dh $@

override_dh_auto_configure:
	dh_auto_configure -- --enable-static --enable-shared                 \
		--with-build=production --enable-gpl --with-portfolio        \
		--enable-unit-testing --with-readline --without-compat

override_dh_install:
	chrpath -d debian/tmp/usr/bin/pcvc4
	rm -f $(shell find debian/tmp/usr/lib/ -name libcvc4.la)
	rm -f $(shell find debian/tmp/usr/lib/ -name libcvc4parser.la)
	dh_install

override_dh_missing:
	dh_missing --list-missing

override_dh_installdocs:
	dh_installdocs --all NEWS