---------- Forwarded message ---------- From: Alexandru Ionut Diaconescu <[email protected]> Date: Wed, May 1, 2013 at 2:48 PM Subject: Re: [klee-dev] failed external call To: Daniel Liew <[email protected]>
Yes, I saw in the script the patch usage and I didn't received any error during running their script. And still, I have the original KLEE files, their patch being not applied.. On Wed, May 1, 2013 at 2:46 PM, Daniel Liew <[email protected]>wrote: > 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. > -- Best regards, Alexandru Ionut Diaconescu -- Best regards, Alexandru Ionut Diaconescu
_______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
