#! /usr/bin/make -f

include /usr/share/dune/dune-debian.mk
override_dh_install:
	# Manual delete runpath set by openmpi 5.0.5
	# See https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1085509
	find debian/tmp/ -name \*.so -o  -name \*.so.\* -exec chrpath -d '{}' \; || true
	dh_install

%:
	dh $@ --builddirectory=build --buildsystem=cmake