[klee-dev] Difficulty installing KLEE

[Vijay Ganesh]

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
>>
>
>
-------------- next part --------------
HTML attachment scrubbed and removed