Hi, Try adding something like the following to your ~/.profile or ~/.bashrc file. Log out and log in before trying make again. Some of these may be wrong or not needed. It looks like C_INCLUDE_PATH is the important one in this case.
export LD_LIBRARY_PATH=/usr/lib/gcc/x86_64-linux-gnu/4.6.3 export LIBRARY_PATH=/usr/lib/x86_64-linux-gnu export C_INCLUDE_PATH=/usr/include/x86_64-linux-gnu export CPLUS_INCLUDE_PATH=/usr/include/x86_64-linux-gnu Thanks, Paul On 21 August 2012 10:34, luning <[email protected]> wrote: > > > I encountered two problems when I was building klee. > > my OS is ubuntu 11.10 amd64 > > 1.building uclibc > As I followed the instructions, I choose to build klee-uclibc. Firstly, i > make link that links asm to ask-generic to solve "asm not found" error. > Then i could start the building process. But after that I did encountered > another build errors again. > > c1: warning: unrecognized gcc debugging option: N > CC libc/inet/ether_addr.os > In file included from /usr/include/linux/posix_types.h:47, > from /usr/include/linux/types.h:8, > from /usr/include/linux/if_ether.h:24, > from ./include/netinet/if_ether.h:26, > from ./include/netinet/ether.h:26, > from libc/inet/ether_addr.c:31: > /usr/include/asm/posix_types.h:14: error: redefinition of typedef > '__kernel_ino_t' > ./include/bits/kernel_types.h:20: error: previous declaration of > '__kernel_ino_t' was here > /usr/include/asm/posix_types.h:18: error: redefinition of typedef > '__kernel_mode_t' > ./include/bits/kernel_types.h:21: error: previous declaration of > '__kernel_mode_t' was here > /usr/include/asm/posix_types.h:22: error: redefinition of typedef > '__kernel_nlink_t' > ./include/bits/kernel_types.h:22: error: previous declaration of > '__kernel_nlink_t' was here > /usr/include/asm/posix_types.h:26: error: redefinition of typedef > '__kernel_pid_t' > ./include/bits/kernel_types.h:24: error: previous declaration of > '__kernel_pid_t' was here > /usr/include/asm/posix_types.h:30: error: redefinition of typedef > '__kernel_ipc_pid_t' > ./include/bits/kernel_types.h:25: error: previous declaration of > '__kernel_ipc_pid_t' was here > /usr/include/asm/posix_types.h:34: error: redefinition of typedef > '__kernel_uid_t' > ./include/bits/kernel_types.h:26: error: previous declaration of > '__kernel_uid_t' was here > /usr/include/asm/posix_types.h:35: error: redefinition of typedef > '__kernel_gid_t' > ./include/bits/kernel_types.h:27: error: previous declaration of > '__kernel_gid_t' was here > /usr/include/asm/posix_types.h:39: error: redefinition of typedef > '__kernel_suseconds_t' > ./include/bits/kernel_types.h:32: error: previous declaration of > '__kernel_suseconds_t' was here > /usr/include/asm/posix_types.h:43: error: redefinition of typedef > '__kernel_daddr_t' > ./include/bits/kernel_types.h:34: error: previous declaration of > '__kernel_daddr_t' was here > /usr/include/asm/posix_types.h:47: error: redefinition of typedef > '__kernel_uid32_t' > ./include/bits/kernel_types.h:38: error: previous declaration of > '__kernel_uid32_t' was here > /usr/include/asm/posix_types.h:48: error: redefinition of typedef > '__kernel_gid32_t' > ./include/bits/kernel_types.h:39: error: previous declaration of > '__kernel_gid32_t' was here > /usr/include/asm/posix_types.h:52: error: conflicting types for > '__kernel_old_uid_t' > ./include/bits/kernel_types.h:40: error: previous declaration of > '__kernel_old_uid_t' was here > /usr/include/asm/posix_types.h:53: error: conflicting types for > '__kernel_old_gid_t' > ./include/bits/kernel_types.h:41: error: previous declaration of > '__kernel_old_gid_t' was here > /usr/include/asm/posix_types.h:57: error: conflicting types for > '__kernel_old_dev_t' > ./include/bits/kernel_types.h:42: error: previous declaration of > '__kernel_old_dev_t' was here > /usr/include/asm/posix_types.h:66: error: conflicting types for > '__kernel_size_t' > ./include/bits/kernel_types.h:28: error: previous declaration of > '__kernel_size_t' was here > /usr/include/asm/posix_types.h:67: error: conflicting types for > '__kernel_ssize_t' > ./include/bits/kernel_types.h:29: error: previous declaration of > '__kernel_ssize_t' was here > /usr/include/asm/posix_types.h:68: error: conflicting types for > '__kernel_ptrdiff_t' > ./include/bits/kernel_types.h:30: error: previous declaration of > '__kernel_ptrdiff_t' was here > /usr/include/asm/posix_types.h:79: error: redefinition of typedef > '__kernel_off_t' > ./include/bits/kernel_types.h:23: error: previous declaration of > '__kernel_off_t' was here > /usr/include/asm/posix_types.h:80: error: redefinition of typedef > '__kernel_loff_t' > ./include/bits/kernel_types.h:43: error: previous declaration of > '__kernel_loff_t' was here > /usr/include/asm/posix_types.h:81: error: redefinition of typedef > '__kernel_time_t' > ./include/bits/kernel_types.h:31: error: previous declaration of > '__kernel_time_t' was here > /usr/include/asm/posix_types.h:82: error: redefinition of typedef > '__kernel_clock_t' > ./include/bits/kernel_types.h:33: error: previous declaration of > '__kernel_clock_t' was here > /usr/include/asm/posix_types.h:85: error: redefinition of typedef > '__kernel_caddr_t' > ./include/bits/kernel_types.h:35: error: previous declaration of > '__kernel_caddr_t' was here > /usr/include/asm/posix_types.h:86: error: redefinition of typedef > '__kernel_uid16_t' > ./include/bits/kernel_types.h:36: error: previous declaration of > '__kernel_uid16_t' was here > /usr/include/asm/posix_types.h:87: error: redefinition of typedef > '__kernel_gid16_t' > ./include/bits/kernel_types.h:37: error: previous declaration of > '__kernel_gid16_t' was here > /usr/include/asm/posix_types.h:91: error: conflicting types for > '__kernel_fsid_t' > ./include/bits/kernel_types.h:51: error: previous declaration of > '__kernel_fsid_t' was here > make: *** [libc/inet/ether_addr.os] Error 1 > > > 2. buliding klee > below are error messages. > > llvm[2]: Compiling klee_int.c for Release+Asserts build (bytecode) > In file included from klee_int.c:10: > /usr/include/assert.h:71: error: expected ‘=’, ‘,’, ‘;’, ‘asm’ or > ‘__attribute__’ before ‘extern’ > /usr/include/assert.h: In function ‘__assert_perror_fail’: > /usr/include/assert.h:79: error: expected declaration specifiers before > ‘__THROW’ > /usr/include/assert.h:85: error: expected ‘=’, ‘,’, ‘;’, ‘asm’ or > ‘__attribute__’ before ‘__THROW’ > /usr/include/assert.h:88: error: expected declaration specifiers before > ‘__END_DECLS’ > In file included from /home/luning/klee/include/klee/klee.h:13, > from klee_int.c:11: > /usr/include/stdint.h:38: error: storage class specified for parameter > ‘int16_t’ > /usr/include/stdint.h:39: error: storage class specified for parameter > ‘int32_t’ > /usr/include/stdint.h:43: error: expected declaration specifiers before > ‘__extension__’ > /usr/include/stdint.h:49: error: storage class specified for parameter > ‘uint8_t’ > /usr/include/stdint.h:50: error: storage class specified for parameter > ‘uint16_t’ > /usr/include/stdint.h:52: error: storage class specified for parameter > ‘uint32_t’ > /usr/include/stdint.h:58: error: expected declaration specifiers before > ‘__extension__’ > /usr/include/stdint.h:66: error: storage class specified for parameter > ‘int_least8_t’ > /usr/include/stdint.h:67: error: storage class specified for parameter > ‘int_least16_t’ > /usr/include/stdint.h:68: error: storage class specified for parameter > ‘int_least32_t’ > /usr/include/stdint.h:72: error: expected declaration specifiers before > ‘__extension__’ > /usr/include/stdint.h:77: error: storage class specified for parameter > ‘uint_least8_t’ > /usr/include/stdint.h:78: error: storage class specified for parameter > ‘uint_least16_t’ > /usr/include/stdint.h:79: error: storage class specified for parameter > ‘uint_least32_t’ > /usr/include/stdint.h:83: error: expected declaration specifiers before > ‘__extension__’ > /usr/include/stdint.h:91: error: storage class specified for parameter > ‘int_fast8_t’ > /usr/include/stdint.h:97: error: storage class specified for parameter > ‘int_fast16_t’ > /usr/include/stdint.h:98: error: storage class specified for parameter > ‘int_fast32_t’ > /usr/include/stdint.h:99: error: expected declaration specifiers before > ‘__extension__’ > /usr/include/stdint.h:104: error: storage class specified for parameter > ‘uint_fast8_t’ > /usr/include/stdint.h:110: error: storage class specified for parameter > ‘uint_fast16_t’ > /usr/include/stdint.h:111: error: storage class specified for parameter > ‘uint_fast32_t’ > /usr/include/stdint.h:112: error: expected declaration specifiers before > ‘__extension__’ > /usr/include/stdint.h:126: error: storage class specified for parameter > ‘intptr_t’ > /usr/include/stdint.h:129: error: storage class specified for parameter > ‘uintptr_t’ > /usr/include/stdint.h:138: error: expected declaration specifiers before > ‘__extension__’ > /usr/include/stdint.h:140: error: expected declaration specifiers before > ‘__extension__’ > In file included from /home/luning/klee/include/klee/klee.h:14, > from klee_int.c:11: > /home/luning/llvm-gcc4.2-2.9-x86_64-linux/bin/../lib/gcc/x86_64-unknown-linux-gnu/4.2.1/include/stddef.h:152: > error: storage class specified for parameter ‘ptrdiff_t’ > /home/luning/llvm-gcc4.2-2.9-x86_64-linux/bin/../lib/gcc/x86_64-unknown-linux-gnu/4.2.1/include/stddef.h:214: > error: storage class specified for parameter ‘size_t’ > /home/luning/llvm-gcc4.2-2.9-x86_64-linux/bin/../lib/gcc/x86_64-unknown-linux-gnu/4.2.1/include/stddef.h:326: > error: storage class specified for parameter ‘wchar_t’ > In file included from klee_int.c:11: > /home/luning/klee/include/klee/klee.h:25: error: expected declaration > specifiers or ‘...’ before ‘size_t’ > /home/luning/klee/include/klee/klee.h:35: error: expected declaration > specifiers or ‘...’ before ‘size_t’ > /home/luning/klee/include/klee/klee.h:52: error: expected declaration > specifiers before ‘__attribute__’ > /home/luning/klee/include/klee/klee.h:56: error: expected declaration > specifiers before ‘__attribute__’ > /home/luning/klee/include/klee/klee.h:66: error: expected declaration > specifiers before ‘__attribute__’ > /home/luning/klee/include/klee/klee.h:73: error: expected declaration > specifiers before ‘size_t’ > /home/luning/klee/include/klee/klee.h:81: error: expected declaration > specifiers before ‘uintptr_t’ > /home/luning/klee/include/klee/klee.h:97: error: expected ‘)’ before ‘n’ > /home/luning/klee/include/klee/klee.h:103: error: expected ‘)’ before > ‘condition’ > /home/luning/klee/include/klee/klee.h:106: error: expected declaration > specifiers or ‘...’ before ‘uintptr_t’ > /home/luning/klee/include/klee/klee.h:117: error: expected declaration > specifiers before ‘int32_t’ > /home/luning/klee/include/klee/klee.h:118: error: expected declaration > specifiers before ‘int64_t’ > /home/luning/klee/include/klee/klee.h:129: error: expected declaration > specifiers or ‘...’ before ‘size_t’ > klee_int.c:13: error: expected ‘=’, ‘,’, ‘;’, ‘asm’ or ‘__attribute__’ > before ‘{’ token > klee_int.c:17: error: old-style parameter declarations in prototyped > function definition > klee_int.c:17: error: expected ‘{’ at end of input > make[2]: *** > [/home/luning/klee/runtime/Intrinsic/Release+Asserts/klee_int.ll] Error 1 > make[2]: Leaving directory `/home/luning/klee/runtime/Intrinsic' > make[1]: *** [Intrinsic/.makeall] Error 2 > make[1]: Leaving directory `/home/luning/klee/runtime' > make: *** [all] Error 1 > > > > _______________________________________________ > klee-dev mailing list > [email protected] > http://keeda.Stanford.EDU/mailman/listinfo/klee-dev > >
_______________________________________________ klee-dev mailing list [email protected] http://keeda.Stanford.EDU/mailman/listinfo/klee-dev
