[klee-dev] Arch linux: Cannot build Klee , stuck with "Unable to link with libstp"

[ThanhVu (Vu) Nguyen]

On Wed, Feb 12, 2014 at 1:30 AM, Daniel Liew <daniel.liew at imperial.ac.uk>wrote:

> git pull git at github.com:delcypher/klee.git feature_support_stp_with_boost
>

I got a permission denied

git pull git at github.com:delcypher/klee.git feature_support_stp_with_boost
The authenticity of host 'github.com (192.30.252.129)' can't be established.
RSA key fingerprint is 16:27:ac:a5:76:28:2d:36:63:1b:56:4d:eb:df:a6:48.
Are you sure you want to continue connecting (yes/no)? yes
Warning: Permanently added 'github.com,192.30.252.129' (RSA) to the list of
known hosts.
Permission denied (publickey).
fatal: Could not read from remote repository.

Please make sure you have the correct access rights
and the repository exists.




Vu,
-------------- next part --------------
HTML attachment scrubbed and removed