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
_______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
