[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