[klee-dev] Ask you about compiling LLVM 2.9

[Dinh Ngoc Thi]

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
>
-------------- next part --------------
HTML attachment scrubbed and removed