could not open pk

[vindhya10]

spike pk hello.s
terminate called after throwing an instance of 'std::runtime_error'
what(): could not open pk; searched paths:
. (current directory)
/usr/local/riscv64-unknown-elf/bin/ (based on configured --prefix and --with-target)

[aswaterman]

Try specifying an absolute path to the pk binary you built.