installation with opam install files

[Hendrik Tews <hendrik@askra.de>]

Hi,

I am looking into packaging topkg ... The topkg build system does
not seem to support installation (i.e., make install) but leaves
an opam install file
(https://opam.ocaml.org/doc/Manual.html#packagenameinstall)
behind, which can be used by opam-installer to install files.

Do we have a package that uses opam-installer for installation? I
guess I need something like

override_dh_auto_install:
	opam-installer --prefix ./debian/package topkg.install

in debian/rules?

Thanks,

Hendrik