[klee-dev] Difficulty installing KLEE

[Urmas Repinski]

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: hellovijay at gmail.com
To: rsas at cs.utah.edu
CC: klee-dev at imperial.ac.uk
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 <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> 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






_______________________________________________
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