You will need to flash your SD card with Ubuntu for the launchpad to work I think, I never used it myself.
Re the error, Im not sure whats causing you to get a permission denied, all I can think of is trying:
'sudo mkdir ~/Gridcoin-Research/src/obj && cd ~/Gridcoin-Research/src && chmod 755 leveldb/build_detect_platform && sudo make -f makefile.unix' but if that doesnt work Im not sure how to resolve, sorry