Discussion:
Ask you about compiling LLVM 2.9
(too old to reply)
Dinh Ngoc Thi
2014-09-07 14:46:01 UTC
Permalink
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
2014-09-07 22:15:09 UTC
Permalink
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
2014-09-09 15:31:45 UTC
Permalink
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
2014-09-09 15:40:38 UTC
Permalink
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
2014-09-09 15:44:36 UTC
Permalink
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
2014-09-09 15:47:54 UTC
Permalink
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
2014-09-09 15:55:40 UTC
Permalink
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
2014-09-09 16:19:03 UTC
Permalink
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
Loading...