Hi, Vijay. Try to investigate following link http://buildroot-busybox.2317881.n4.nabble.com/PATCH-RFC-Fix-avr32-build-using-internal-toolchain-td38851.html The problem described there is the same as in your case, error is In file included from /usr/include/linux/rtnetlink.h:6, from libc/inet/netlinkaccess.h:32, from libc/inet/if_index.c:36: There is a patch also inside the message, copy last parts of the message into the patch file and try to execute it. Let me know if this helps, Urmas Repinski Date: Mon, 4 Nov 2013 17:06:39 -0500 From: [email protected] To: [email protected] CC: [email protected] Subject: Re: [klee-dev] Difficulty installing KLEE 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 <[email protected]> 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]> 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]>> 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] > https://mailman.ic.ac.uk/mailman/listinfo/klee-dev > _______________________________________________ klee-dev mailing list [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
_______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
