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
