dune-debian.mk 708 Bytes
Newer Older
1
include /usr/share/dpkg/pkg-info.mk
Ansgar Burchardt's avatar
Ansgar Burchardt committed
2

Ansgar Burchardt's avatar
Ansgar Burchardt committed
3
DUNE_CTEST ?= /usr/bin/dune-ctest
Ansgar Burchardt's avatar
Ansgar Burchardt committed
4

5
6
DUNE_DEBIAN_SHLIB = $(subst ~,.,lib$(DEB_SOURCE)-$(DEB_VERSION_UPSTREAM))

Ansgar Burchardt's avatar
Ansgar Burchardt committed
7
override_dh_auto_configure:
Ansgar Burchardt's avatar
Ansgar Burchardt committed
8
	dh_auto_configure -- -DBUILD_SHARED_LIBS=1
Ansgar Burchardt's avatar
Ansgar Burchardt committed
9
10
11
12
13
14

override_dh_auto_test:
	# OpenMPI expects rsh/ssh to be in PATH even when it only starts local processes:
	mkdir debian/tmp-test
	ln -s /bin/false debian/tmp-test/ssh
	ln -s /bin/false debian/tmp-test/rsh
Ansgar Burchardt's avatar
Ansgar Burchardt committed
15
16
	dh_auto_build -- build_tests
	cd build; PATH=$(CURDIR)/debian/tmp-test:$$PATH $(DUNE_CTEST)
Ansgar Burchardt's avatar
Ansgar Burchardt committed
17
	rm -rf debian/tmp-test
18
19
20
21
22
23

override_dh_gencontrol:
	dh_gencontrol -- -Vdune:shared-library='$(DUNE_DEBIAN_SHLIB)'

override_dh_makeshlibs:
	dh_makeshlibs --version-info='$(DUNE_DEBIAN_SHLIB)'