[klee-dev] configure llvm question

[ziying dai]

hello,
I follow the instructions on Getting Started page, but encounter problems
when configure llvm. what is the version of this llvm? are there any special
requirements to configure it?
-------------- next part --------------
An HTML attachment was scrubbed...
URL: 
http://keeda.Stanford.EDU/pipermail/klee-dev/attachments/20091021/783a24f0/attachment.html