Following the steps got me this response:
make: *** No targets specified and no makefile found. Stop.
So, no install that way.
I can see that starting gqrx from the command line shows airspyhf is included. I just don't understand how to choose it since it is not on the device list.
David Voit