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 <[email protected]> wrote: > ** > Thank you very much, > But it still cannot work, even I take the steps before once again. > > *From:* Alexandru Ionut Diaconescu <[email protected]> > *Date:* 2013-06-17 16:51 > *To:* kylinsmail <[email protected]> > *CC:* klee-dev <[email protected]> > *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 <[email protected]> wrote: > >> ** >> But it still told me "invalid llvmsrc directory" when I run "./configure >> --with-llvm=~/llvm-2.9 ..." >> *From:* Alexandru Ionut Diaconescu <[email protected]> >> *Date:* 2013-06-17 16:46 >> *To:* kylinsmail <[email protected]> >> *CC:* Loi Luu <[email protected]>; klee-dev <[email protected]> >> *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 <[email protected]>wrote: >> >>> ** >>> you mean "llvm-2.9"? >>> >>> *From:* Loi Luu <[email protected]> >>> *Date:* 2013-06-17 16:31 >>> *To:* kylinsmail <[email protected]>; klee-dev<[email protected]> >>> *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 >>> [email protected] >>> https://mailman.ic.ac.uk/mailman/listinfo/klee-dev >>> >>> >> >> >> -- >> Best regards, >> Alexandru Ionut Diaconescu >> > > > > -- > 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
