http://www.sdrplay.com/docs/Mirics_SDR_API_Linux_install_technote_r2p0.pdf
Robert,
if you are running Ubuntu, then Mirics support, but not necessarily full SDRPlay support, should probably come automatically, as part of the libmirisdr0 library. When GNU Radio is installed, then libgnuradio-osmosdr0.1.4 should call in libmirisdr0 as a dependency.
You haven't given any specific detail of the system that you're running, but AFAIK installing from the PPAs noted for Ubuntu might bring in the support. Using the PyBombs script could be expected to bring in the support without needing any other library, however the Osmocom GNU Radio block contains the note:
which seems to indicate that you will need to compile in specific support. Note that the recent change of SDRPlay API is likely to require a recompile, as explicitly noted at http://gqrx.dk/supported-hardware#sdrplay.SDRplay Source
The sdrplay source uses a precompiled (closed source) library available from http://www.sdrplay.com/api_drivers.html to interface with the hardware. To enable this nonfree driver you have to call cmake with the additional parameter -DENABLE_NONFREE=TRUE
sdrplay Use this argument without a value
Note: I do not have your hardware, so cannot confirm this.
You may find that it is necessary to compile everything—GNU Radio
& GQRX—from source, even if using Ubuntu.
Robin, G8DQX
which seems to indicate that you will need to compile in specific support. Note that the recent change of SDRPlay API is likely to require a recompile, as explicitly noted at http://gqrx.dk/supported-hardware#sdrplay.