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 <[email protected]
<mailto:[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] <mailto:[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]>
> <mailto:[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] <mailto:[email protected]>
> https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
>
_______________________________________________
klee-dev mailing list
[email protected] <mailto:[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
