Dear Daniel Liew Now I consider about Symbolic Execution tool, so I want to compile KLEE. But before compiling KLLE, I have to compile LLVM, so I meet this error: ----------------------- Can't open perl script "/cygdrive/d/phd/ SymbolicExecution/tool/llvm-2.9/Release+Asserts/bin/llvm-config": No such file or directory -----------------------
On Tue, Sep 9, 2014 at 10:47 PM, Daniel Liew <[email protected]> wrote: > On 9 September 2014 16:44, Dinh Ngoc Thi <[email protected]> wrote: > > Could you please teach me how to run llvm-config as a perl script? > > llvm-config is **not** a perl script. It is a native binary you can't > "run llvm-config as a perl script". > > You have not actually said. Are you getting this error when building > LLVM or KLEE? > > This [1] might help you. > > [1] > http://stackoverflow.com/questions/13297285/how-to-build-llvm-and-clang-on-cygwin >
_______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
