[klee-dev] Difficulty installing KLEE
Raimondas Sasnauskas
rsas at cs.utah.edu
Mon Nov 4 22:13:45 GMT 2013
I saw a similar error message in the following discussion:
http://stackoverflow.com/questions/18598995/building-uclibc-linux-3-10-2-debian-jessie-x86-64-fails-due-to-missing-types
On 11/04/2013 03:06 PM, Vijay Ganesh wrote:
> Okay. I installed the linked up llvm-gcc, reconfigured llvm like you
> said and there was some progress. However, now I am getting a new error
> when I make uclibc:
>
> In file included from /usr/include/linux/rtnetlink.h:6,
> from libc/inet/netlinkaccess.h:32,
> from libc/inet/if_index.c:36:
> /usr/include/linux/if_link.h:313: error: expected
> specifier-qualifier-list before '__be16'
> make: *** [libc/inet/if_index.os] Error 1
>
> This time I am going to do a clean install from the start, following the
> steps exactly to see if that would fix the error.
>
> Cheers,
> Vijay Ganesh.
>
>
>
> On Mon, Nov 4, 2013 at 4:59 PM, Vijay Ganesh <hellovijay at gmail.com
> <mailto:hellovijay at gmail.com>> 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
>
>
>
>
>
> _______________________________________________
> klee-dev mailing list
> klee-dev at imperial.ac.uk
> https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
>
More information about the klee-dev
mailing list