[klee-dev] KLEE build

[Loi Luu]

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