61
61
rm -f debian/tmp/usr/share/info/dir*
62
62
mv debian/tmp/usr/bin/cloog debian/tmp/usr/bin/cloog-isl
63
63
mkdir -p debian/tmp/usr/share/man/man1
64
65
LD_PRELOAD=$${LD_PRELOAD:+$$LD_PRELOAD:}$(CURDIR)/debian/tmp/usr/lib/$(DEB_HOST_MULTIARCH)/libcloog-isl.so.4 \
65
66
PATH=$(CURDIR)/debian/tmp/usr/bin:$$PATH \
66
67
help2man -n 'The Chunky Loop Generator' cloog-isl \
68
71
dh_install --sourcedir=debian/tmp --list-missing