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

Daniel Liew daniel.liew at imperial.ac.uk
Wed Feb 12 15:04:03 GMT 2014


Oops I gave you URL that only works if you have GitHub SSH keys setup...

Try this instead...

git pull https://github.com/delcypher/klee.git feature_support_stp_with_boost

On 12 February 2014 14:57, ThanhVu (Vu) Nguyen <tnguyen at cs.unm.edu> wrote:
>
> 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,




More information about the klee-dev mailing list