So, here is something that helped me in setting up the SDRPlay with another 3rd party app RTLSDR-Airband, but it talks about exactly the things you are talking about with getting the SDRPlay to work in Linux and has some great shortcuts to get everything loaded and compiled. While his main focus...