Ask you about compiling LLVM 2.9

[Dinh Ngoc Thi]

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-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.

[Daniel Liew]

Post by Dinh Ngoc Thi
Dear all
To use KLEE, I have to compile LLVM 2.9.

You also need to use Linux, **not** windows to use KLEE. In principle
the Linux specific parts could be removed but I've never tried.

New versions of LLVM will compile under Windows under cygwin (I'm not
sure about LLVM2.9 though).

Post by Dinh Ngoc Thi
Can't open perl script
No such file or directory

llvm-config is not a perl script. I'm not familiar with how cygwin
works but it should not be trying run llvm-config as a perl script.

[Dinh Ngoc Thi]

Dear Daniel Liew

Did you mean that I have to wait until the new versions of LLVM to compile
under Windows under cygwin?

Post by Daniel Liew

Post by Dinh Ngoc Thi
Dear all
To use KLEE, I have to compile LLVM 2.9.

You also need to use Linux, **not** windows to use KLEE. In principle
the Linux specific parts could be removed but I've never tried.
New versions of LLVM will compile under Windows under cygwin (I'm not
sure about LLVM2.9 though).

Post by Dinh Ngoc Thi
Can't open perl script
No such file or directory

llvm-config is not a perl script. I'm not familiar with how cygwin
works but it should not be trying run llvm-config as a perl script.

[Daniel Liew]

Post by Dinh Ngoc Thi
Dear Daniel Liew
Did you mean that I have to wait until the new versions of LLVM to compile
under Windows under cygwin?

No. I was saying that I know newer version of LLVM work under cygwin
but I do not know about LLVM2.9

[Dinh Ngoc Thi]

Could you please teach me how to run llvm-config as a perl script?

I am using perl which I downloaded from
http://www.filecluster.com/downloads/ActivePerl.html

Post by Dinh Ngoc Thi

Post by Dinh Ngoc Thi
Dear Daniel Liew
Did you mean that I have to wait until the new versions of LLVM to

compile

Post by Dinh Ngoc Thi
under Windows under cygwin?

No. I was saying that I know newer version of LLVM work under cygwin
but I do not know about LLVM2.9

[Daniel Liew]

Post by Dinh Ngoc Thi
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

[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
-----------------------

Post by Daniel Liew

Post by Dinh Ngoc Thi
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

[Paul Marinescu]

As Daniel pointed out, this is most likely one of those (rare?) cases when installing Linux makes your problems go away.

Paul

Post by Dinh Ngoc Thi
Dear Daniel Liew
Now I consider about Symbolic Execution tool, so I want to compile KLEE.
-----------------------
Can't open perl script "/cygdrive/d/phd/
SymbolicExecution/tool/llvm-2.9/Release+Asserts/bin/llvm-config": No such file or directory
-----------------------

Post by Dinh Ngoc Thi
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
https://mailman.ic.ac.uk/mailman/listinfo/klee-dev