How to make PYNQ-Z2 to play MIDI file?

Hi everyone,

I’m trying to use PYNQ-Z2 to play MIDI sound as a digital player, and looks like the original pynq environment doesn’t support to play a MIDI file directly. I was trying to install PYGAME or python-midi library into PYNQ, but it failed. any idea for this?

Pynq-Z2 should be able to work with wav file so if you can have you own program do the conversion, there might be some hope.