[klee-dev] Fwd: failed external call

[Alexandru Ionut Diaconescu]

---------- Forwarded message ----------
From: Alexandru Ionut Diaconescu <alexandruionutdiaconescu at gmail.com>
Date: Wed, May 1, 2013 at 2:48 PM
Subject: Re: [klee-dev] failed external call
To: Daniel Liew <daniel.liew at imperial.ac.uk>


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 <daniel.liew at imperial.ac.uk>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
> <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.
>



-- 
Best regards,
Alexandru Ionut Diaconescu



-- 
Best regards,
Alexandru Ionut Diaconescu
-------------- next part --------------
HTML attachment scrubbed and removed