you mean "llvm-2.9"?
From: Loi Luu
Date: 2013-06-17 16:31
To: kylinsmail; klee-dev
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
