[klee-dev] failed external call

[Daniel Liew]

You can apply the patch as follows

$ cd klee_root # this is where the include/, lib/ and other folders are
$ patch -p1 < the_patch_to_apply.patch

If you're using git you can also use

$ git apply the_patch_to_apply.patch

I've not tried actually applying the patch so I can't tell you if it
will apply cleanly.


On 1 May 2013 13:42, Alexandru Ionut Diaconescu
<alexandruionutdiaconescu at gmail.com> wrote:
> I was trying again to use wget and patch but it seems it doesn't work. I
> will look for the warnings received during installation.
>
> Sorry for the beginner questions, I will try to solve it.