[klee-dev] KLEE build

[kylinsmail]

Thank you very very much...
I'll try it again step by step...
God bless me...

From: Alexandru Ionut Diaconescu
Date: 2013-06-17 17:20
To: kylinsmail
CC: klee-dev
Subject: Re: Re: [klee-dev] KLEE build
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
Date: 2013-06-17 16:51
To: kylinsmail
CC: klee-dev
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
Date: 2013-06-17 16:46
To: kylinsmail
CC: Loi Luu; klee-dev
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
Date: 2013-06-17 16:31
To: kylinsmail; klee-dev
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