[klee-dev] Difficulty installing KLEE

[Raimondas Sasnauskas]

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 <rsas at cs.utah.edu
> <mailto: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>
>      > <mailto: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 <mailto: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 <mailto:klee-dev at imperial.ac.uk>
>     https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
>
>