[klee-dev] Ask you about compiling LLVM 2.9

[Dinh Ngoc Thi]

Dear all

To use KLEE, I have to compile LLVM 2.9.
I used Cygwin in Window 7.0, and I always meet error:
Can't open perl script
"/cygdrive/d/phd/SymbolicExecution/tool/llvm-2.9/Release+Asserts/bin/llvm-config":
No such file or directory

I checked file llvm-config and confirmed it existed in my PC.
admin at admin-PC /cygdrive/d/phd/SymbolicExecution/tool/llvm-2.9
$ ls
/cygdrive/d/phd/SymbolicExecution/tool/llvm-2.9/Release+Asserts/bin/llvm-config
/cygdrive/d/phd/SymbolicExecution/tool/llvm-2.9/Release+Asserts/bin/llvm-config


Anyone can help me?
Many thanks in advance.
-------------- next part --------------
HTML attachment scrubbed and removed