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