Install libportmidi-dev by entering the following commands in the terminal:
sudo apt update sudo apt install libportmidi-dev
Description:
library for real-time MIDI input/output
PortMidi is a platform independent library for MIDI input/output. This package provides the header files for PortMidi and PortTime.
Homepage: http://portmedia.sourceforge.net/
Version: 1:217-6
Section: universe/libdevel