Bug#883709: python-rtmidi: build should use librtmidi-dev or drop the dependency

Source: python-rtmidi Version: 1.2.0~rc1-2 Followup-For: Bug #883709 Hello. My previous suggestions for python-rtmidi were buggy in many respects. Especially, the build time tests now fail. The attached patch hopefully fixes all remaining issues. The problem with tests was introduced by the "pat

Bug#883709: python-rtmidi: build should use librtmidi-dev or drop the dependency

Source: python-rtmidi Version: 1.1.0 Severity: minor Hello. python-rtmidi builds whithout librtmidi-dev. This probably means that - it ignores the headers from librtmidi-dev, and compiles from sources in the rtmidi/ subdirectory instead. - the resulting object is not linked to librtimid (at l