[klee-dev] KLEE build

[Alexandru Ionut Diaconescu]

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
-------------- next part --------------
HTML attachment scrubbed and removed