[klee-dev] KLEE build

[Alexandru Ionut Diaconescu]

since i cannot see that is not working, I can advice you:

install the dependencies first : sudo apt-get install g++ curl dejagnu
subversion bison flex (Ubuntu)

and export the path
$ export C_INCLUDE_PATH=/usr/include/x86_64-linux-gnu
$ export CPLUS_INCLUDE_PATH=/usr/include/x86_64-linux-gnu


then you should try again....

On Mon, Jun 17, 2013 at 11:15 AM, kylinsmail <kylinsmail at gmail.com> wrote:

> **
> Thank you very much,
> But it still cannot work, even I take the steps before once again.
>
>  *From:* Alexandru Ionut Diaconescu <alexandruionutdiaconescu at gmail.com>
> *Date:* 2013-06-17 16:51
> *To:* kylinsmail <kylinsmail at gmail.com>
> *CC:* klee-dev <klee-dev at imperial.ac.uk>
> *Subject:* Re: Re: [klee-dev] KLEE build
>  try this:
>
> ./configure --with-llvm=`pwd`/../llvm-2.9 --with-stp=`pwd`/../stp/install --with-uclibc=`pwd`/../klee-uclibc-0.02-$ARCH --enable-posix-runtime
>
> I assume that you put them in the same folder, and you have the other tools required to build klee as well
>
>
>
> On Mon, Jun 17, 2013 at 10:49 AM, kylinsmail <kylinsmail at gmail.com> wrote:
>
>> **
>> But it still told me "invalid llvmsrc directory" when I run "./configure
>> --with-llvm=~/llvm-2.9 ..."
>>  *From:* Alexandru Ionut Diaconescu <alexandruionutdiaconescu at gmail.com>
>> *Date:* 2013-06-17 16:46
>> *To:* kylinsmail <kylinsmail at gmail.com>
>> *CC:* Loi Luu <loi.luuthe at gmail.com>; klee-dev <klee-dev at imperial.ac.uk>
>> *Subject:* Re: [klee-dev] KLEE build
>>   Yes, that is the def folder for the llvm2.9.
>>
>>
>> On Mon, Jun 17, 2013 at 10:40 AM, kylinsmail <kylinsmail at gmail.com>wrote:
>>
>>> **
>>> you mean "llvm-2.9"?
>>>
>>>  *From:* Loi Luu <loi.luuthe at gmail.com>
>>> *Date:* 2013-06-17 16:31
>>> *To:* kylinsmail <kylinsmail at gmail.com>; klee-dev<klee-dev at imperial.ac.uk>
>>> *Subject:* RE: [klee-dev] KLEE build
>>>    Its your llvm folder.
>>>
>>> Sent from my Windows Phone
>>> ------------------------------
>>> From: kylinsmail
>>> Sent: 17/06/2013 15:15
>>> To: klee-dev
>>> Subject: [klee-dev] KLEE build
>>>
>>> Hello,
>>>     I spend serveral hours to build KLEE and its envirment( include
>>> LLVM,STP,and so on) on my Ubuntu Server 12.04 follow the page:
>>> http://klee.llvm.org/GetStarted.html. But I'm stuck in the sixth step,
>>> confused with the "path/to/llvm". *For my example, I download the
>>> llvm-2.9.tgz and extract the files into directory llvm-2.9.  Then I
>>> make a subdierctory, build . Running the "configure" and "make"
>>> commands in this subdirectory. So, what is the path/to/llvm in my
>>> situation?*
>>> *Thank you in advance !*
>>>
>>> _______________________________________________
>>> klee-dev mailing list
>>> klee-dev at imperial.ac.uk
>>> https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
>>>
>>>
>>
>>
>> --
>> Best regards,
>> Alexandru Ionut Diaconescu
>>
>
>
>
> --
> Best regards,
> Alexandru Ionut Diaconescu
>



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