I have now built a system on a Raspberry Pi with GNU Radio 3.8, SoapySDR, SoapySDRPlay and gr-osmosdr.
There are instructions for installing a wide variety of applications.
Lacking a recent SDRplay rpi image, this get you where you need to be.
Go to http://radiosrs.net/tech.html and let me know if it works for you.
Building this system manually will take a lot of time, but is very rewarding.