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 <[email protected]> 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. _______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
