spike pk doesn't work

[TATAyu0413]

spike pk does not work. No output "bbl loader".
Any help would be appreciated. Thank you in advance!

[jim-wilson]

What exact command did you type and what exact error did you get? Note that spike does not search the path for pk, so you must give the full path (or a relative path) to pk or it won't find it.

[zhuzhzh]

please check if pk and bbl can be found with

which bbl
which pk