[klee-dev] Ask you about compiling LLVM 2.9

[Paul Marinescu]

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 <dinhngocthi at gmail.com> 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 <daniel.liew at imperial.ac.uk> wrote:
> On 9 September 2014 16:44, Dinh Ngoc Thi <dinhngocthi at gmail.com> 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
> klee-dev at imperial.ac.uk
> https://mailman.ic.ac.uk/mailman/listinfo/klee-dev

-------------- next part --------------
HTML attachment scrubbed and removed