As Daniel pointed out, this is most likely one of those (rare?) cases when installing Linux makes your problems go away.
Paul On 9 Sep 2014, at 16:55, Dinh Ngoc Thi <[email protected]> wrote: > 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
_______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
