[klee-dev] Difficulty installing KLEE

[Vijay Ganesh]

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 <rsas at cs.utah.edu>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 <c.cadar at imperial.ac.uk
> > <mailto:c.cadar at imperial.ac.uk>> wrote:
> >
> >     Hi Vijay, please see this message from Dan:
> >
> http://www.mail-archive.com/__klee-dev@imperial.ac.uk/__msg01302.html <
> http://www.mail-archive.com/klee-dev@imperial.ac.uk/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
> > klee-dev at imperial.ac.uk
> > https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
> >
>
> _______________________________________________
> 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