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

2019-01-12 Thread Nicolas Boulenguez
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

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

2017-12-06 Thread Nicolas Boulenguez
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