I guess it's important that llvm-gcc is in your PATH so that the
configure script of LLVM can detect it. Does `which llvm-gcc` produce
some output?
Raimondas
On 11/04/2013 02:59 PM, Vijay Ganesh wrote:
I actually did. However, I didn't install the llvm-gcc linked up from
the KLEE website. I instead sudoed it. I then configured llvm, and
installed it.
Is it important that I didn't install llvm-gcc linked up from the KLEE
website?
Cheers,
Vijay Ganesh.
On Mon, Nov 4, 2013 at 4:50 PM, Raimondas Sasnauskas <[email protected]
<mailto:[email protected]>> wrote:
Vijay,
Before building llvm, you have to make sure you have llvm-gcc in
your path.
To fix this issue, download and add llvm-gcc to your path, then
reconfigure llvm. Not sure if rebuilding is necessary.
Raimondas
On 11/4/13 2:46 PM, Vijay Ganesh wrote:
> Thanks Cristian!
>
> I managed to install llvm.
>
> Another problem. When I compile the 64bit uclibc from the KLEE
website,
> I get the following error. (I configured by using the command
> ./configure --with-llvm=/path/to/llvm-top-level-directory):
>
> gcc-4.6: error: unrecognized option ‘--emit-llvm’
> gcc-4.6: error: unrecognized option ‘--emit-llvm’
> gcc-4.6: error: unrecognized option '--emit-llvm'
> gcc-4.6: error: unrecognized option '--emit-llvm'
> gcc-4.6: error: unrecognized option '--emit-llvm'
> gcc-4.6: error: unrecognized option '--emit-llvm'
> CC libcrypt/des.os
> gcc-4.6: error: unrecognized option '--emit-llvm'
> make: *** [libcrypt/des.os] Error 1
>
> -Vijay.
>
>
>
> On Mon, Nov 4, 2013 at 4:06 PM, Cristian Cadar
<[email protected] <mailto:[email protected]>
> <mailto:[email protected] <mailto:[email protected]>>>
wrote:
>
> Hi Vijay, please see this message from Dan:
>
http://www.mail-archive.com/[email protected]/__msg01302.html
<http://www.mail-archive.com/[email protected]/msg01302.html>
>
> We should add a note on the website about this.
>
> Best,
> Cristian
>
>
> On 04/11/2013 20:56, Vijay Ganesh wrote:
>
>
> Hi All,
>
> I am having difficulty installing the latest version of
KLEE, or
> to be
> more precise LLVM.
>
> I am trying out llvm 2.9. I followed the instructions
carefully.
> I am
> running 64-bit Linux Mint.
>
> I get the following compile errors:
>
> make[3]: Entering directory
> `/home/vganesh/llvm-2.9/lib/__ExecutionEngine/JIT'
> llvm[3]: Compiling Intercept.cpp for Release+Asserts build
> In file included from JIT.h:17:0,
> from Intercept.cpp:18:
>
/home/vganesh/llvm-2.9/__include/llvm/ExecutionEngine/__ExecutionEngine.h:
> In member function ‘virtual void*
> llvm::ExecutionEngine::__getOrEmitGlobalVariable(const
> llvm::GlobalVariable*)’:
>
/home/vganesh/llvm-2.9/__include/llvm/ExecutionEngine/__ExecutionEngine.h:343:45:
> warning: cast from type ‘const llvm::GlobalVariable*’ to type
> ‘llvm::GlobalValue*’ casts away qualifiers [-Wcast-qual]
> Intercept.cpp: In constructor
> ‘{anonymous}::StatSymbols::__StatSymbols()’:
> Intercept.cpp:69:67: error: ‘lseek64’ was not declared in
this scope
> /bin/rm: cannot remove
>
‘/home/vganesh/llvm-2.9/lib/__ExecutionEngine/JIT/Release+__Asserts/Intercept.d.tmp’:
> No such file or directory
> make[3]: ***
>
[/home/vganesh/llvm-2.9/lib/__ExecutionEngine/JIT/Release+__Asserts/Intercept.o]
> Error 1
> make[3]: Leaving directory
> `/home/vganesh/llvm-2.9/lib/__ExecutionEngine/JIT'
> make[2]: *** [JIT/.makeall] Error 2
> make[2]: Leaving directory
> `/home/vganesh/llvm-2.9/lib/__ExecutionEngine'
> make[1]: *** [ExecutionEngine/.makeall] Error 2
> make[1]: Leaving directory `/home/vganesh/llvm-2.9/lib'
> make: *** [all] Error 1
>
>
>
>
> _______________________________________________
> klee-dev mailing list
> [email protected] <mailto:[email protected]>
> https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
>
_______________________________________________
klee-dev mailing list
[email protected] <mailto:[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
