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@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.
_______________________________________________
klee-dev mailing list
[email protected]
https://mailman.ic.ac.uk/mailman/listinfo/klee-dev

Reply via email to