You need to figure out why the needed header files are not on machine. I cannot do this for you.
Try looking first at /usr/include/sys/syscall.h and then looking at the files it includes. On my machine /usr/include/sys/syscall.h includes /usr/include/asm/unistd.h which then includes /usr/include/asm/unistd_32.h or /usr/include/asm/unistd_64.h . On my machine the __NR_open and other declarations are in /usr/include/asm/unistd_64.h On 3 July 2013 03:25, [email protected] <[email protected]> wrote: > when I try to install the libc6-dev,the shown on the screen is : > common@ubuntu-server:~$ sudo apt-get install libc6-dev > Reading package lists... Done > Building dependency tree > Reading state information... Done > libc6-dev is already the newest version. > 0 upgraded, 0 newly installed, 0 to remove and 50 not upgraded. > It means my system have installed libc6-dev > > > > ------------------------------------------------------------------ > 发件人：Daniel Liew<[email protected]> > 发送日期：2013年7月2日 17:52 > 收件人：[email protected]<[email protected]>; > 抄送人：klee-dev<[email protected]>; > 主 题：Re: 回复：Re: [klee-dev] KLEE installation problem > Please remember to reply to all so that the mailing list is CC'ed when > replying. > > The commands I gave you should help you determine where the problems > is. They will not fix anything. > > When you ran... > $ grep -rH '__NR_OPEN' /usr/include > > there are no matches indicating you do not have any header files that > define the macros you need. This probably means you have not installed > the necessary development header files. Your host name suggests that > you are using Ubuntu and the following header files so suggest you > perhaps you should make sure you have libc6-dev and/or libc6-dev-i386 > installed. > > Hope that helps, > Dan. > > > > On 2 July 2013 05:59, [email protected] <[email protected]> wrote: >> I'm sorry to disturb you again >> >> About installing the klee has always wrong; I according to your advice to >> install klee; >> >> first step,I do like this: >> common@ubuntu-server:~/nxq/klee-niu/llvm-gcc4.2-2.9-x86_64-linux/bin$ >> $(llvm-gcc -print-prog-name=cc1) -v >> >> ignoring nonexistent directory >> >> "/home/duncan/llvm-2.9/64/Phase2/Release/llvmgcc42-2.9-release.install/include" >> ignoring nonexistent directory >> >> "/home/duncan/llvm-2.9/64/Phase2/Release/llvmgcc42-2.9-release.install/lib/gcc/x86_64-unknown-linux-gnu/4.2.1/include" >> ignoring nonexistent directory >> >> "/home/duncan/llvm-2.9/64/Phase2/Release/llvmgcc42-2.9-release.install/x86_64-unknown-linux-gnu/include" >> #include "..." search starts here: >> #include <...> search starts here: >> /usr/include/x86_64-linux-gnu >> >> /usr/local/include >> /usr/include >> End of search list. >> >> I input according to the step 2 and step 3 like this: >> >> common@ubuntu-server:~$ grep -rH '__NR_OPEN' /usr/include >> common@ubuntu-server:~$ grep -rHE '^#include <.+/unistd(_(32|64))?\.h>' >> /usr/include >> /usr/include/x86_64-linux-gnu/sys/syscall.h:#include <asm/unistd.h> >> /usr/include/linux/unistd.h:#include <asm/unistd.h> >> common@ubuntu-server:~$ >> >> then I do like this: >> common@ubuntu-server:~$ cd /home/common/nxq/klee-niu/klee/runtime/POSIX >> common@ubuntu-server:~/nxq/klee-niu/klee/runtime/POSIX$ make clean >> common@ubuntu-server:~/nxq/klee-niu/klee/runtime/POSIX$ make VERBOSE=1 >> /home/common/nxq/klee-niu/llvm-2.9/autoconf/mkinstalldirs >> /home/common/nxq/klee-niu/klee/runtime/POSIX/Release+Asserts > /dev/null >> /bin/date > >> /home/common/nxq/klee-niu/klee/runtime/POSIX/Release+Asserts/.dir >> llvm[0]: Compiling fd.c for Release+Asserts build (bytecode) >> if /home/common/nxq/klee-niu/llvm-gcc4.2-2.9-x86_64-linux/bin/llvm-gcc >> -I/home/common/nxq/klee-niu/klee/include >> -I/home/common/nxq/klee-niu/klee/runtime/POSIX >> -I/home/common/nxq/klee-niu/llvm-2.9/include -D_DEBUG -D_GNU_SOURCE >> -D__STDC_LIMIT_MACROS -D__STDC_CONSTANT_MACROS -O3 -fomit-frame-pointer >> -fPIC -std=gnu89 -g -O2 -Wall -W -Wno-unused-parameter -Wwrite-strings >> -MMD -MP -MF >> "/home/common/nxq/klee-niu/klee/runtime/POSIX/Release+Asserts/fd.bc.d.tmp" >> -MT "/home/common/nxq/klee-niu/klee/runtime/POSIX/Release+Asserts/fd.ll" >> -MT >> "/home/common/nxq/klee-niu/klee/runtime/POSIX/Release+Asserts/fd.bc.d" \ >> fd.c -o >> /home/common/nxq/klee-niu/klee/runtime/POSIX/Release+Asserts/fd.ll -S >> -emit-llvm ; \ >> then /bin/mv -f >> "/home/common/nxq/klee-niu/klee/runtime/POSIX/Release+Asserts/fd.bc.d.tmp" >> "/home/common/nxq/klee-niu/klee/runtime/POSIX/Release+Asserts/fd.bc.d"; >> else >> /bin/rm >> >> "/home/common/nxq/klee-niu/klee/runtime/POSIX/Release+Asserts/fd.bc.d.tmp"; >> exit 1; fi >> fd.c: In function 'access': >> fd.c:81: error: '__NR_access' undeclared (first use in this function) >> >> fd.c:81: error: (Each undeclared identifier is reported only once >> fd.c:81: error: for each function it appears in.) >> fd.c: In function '__fd_open': >> fd.c:181: error: '__NR_open' undeclared (first use in this function) >> fd.c: In function '__fd_lseek': >> fd.c:390: error: '__NR_lseek' undeclared (first use in this function) >> fd.c: In function '__fd_stat': >> fd.c:439: error: '__NR_stat' undeclared (first use in this function) >> fd.c: In function '__fd_lstat': >> fd.c:458: error: '__NR_lstat' undeclared (first use in this function) >> fd.c: In function 'chmod': >> fd.c:535: error: '__NR_chmod' undeclared (first use in this function) >> fd.c: In function 'chown': >> fd.c:581: error: '__NR_chown' undeclared (first use in this function) >> fd.c: In function 'lchown': >> fd.c:613: error: '__NR_chown' undeclared (first use in this function) >> fd.c: In function '__fd_fstat': >> fd.c:630: error: '__NR_fstat' undeclared (first use in this function) >> fd.c: In function '__fd_ftruncate': >> fd.c:666: error: '__NR_ftruncate' undeclared (first use in this function) >> fd.c: In function '__fd_getdents': >> fd.c:734: error: '__NR_lseek' undeclared (first use in this function) >> fd.c: In function 'fcntl': >> fd.c:956: error: '__NR_fcntl' undeclared (first use in this function) >> fd.c: In function '__fd_statfs': >> fd.c:973: error: '__NR_statfs' undeclared (first use in this function) >> fd.c: In function 'fstatfs': >> fd.c:993: error: '__NR_fstatfs' undeclared (first use in this function) >> fd.c: In function 'readlink': >> fd.c:1116: error: '__NR_readlink' undeclared (first use in this function) >> fd.c: In function 'select': >> fd.c:1187: error: '__NR_select' undeclared (first use in this function) >> make: *** >> [/home/common/nxq/klee-niu/klee/runtime/POSIX/Release+Asserts/fd.ll] Error >> 1 >> >> then I don't know how to do, could you give me some advices? >> >> >> >> ------------------------------------------------------------------ >> 发件人：Daniel Liew<[email protected]> >> 发送日期：2013年6月25日 17:45 >> 收件人：[email protected]<[email protected]>; >> 抄送人：klee-dev<[email protected]>; >> 主 题：Re: [klee-dev] KLEE installation problem >> >> That's a little weird. My guess is your compiler is not configured >> correctly as macros like _NR_open and _NR_stat are system call numbers >> which are usually defined in unistd_64.h or unistd_32.h which is >> indirectly included . For example the file runtime/POSIX/fd.c includes >> "sys/syscall.h" which on my system includes "asm/unistd.h". >> >> You will need to investigate which header file on your system you need >> to include to get you system call numbers defined. Perhaps you could >> try the following... >> >> 1. Check /usr/include is being included by llvm-gcc >> >> $ $( llvm-gcc -print-prog-name=cc1) -v >> ignoring nonexistent directory >> >> "/home/duncan/llvm-2.9/64/Phase2/Release/llvmgcc42-2.9-release.install/include" >> ignoring nonexistent directory >> >> "/home/duncan/llvm-2.9/64/Phase2/Release/llvmgcc42-2.9-release.install/lib/gcc/x86_64-unknown-linux-gnu/4.2.1/include" >> ignoring nonexistent directory >> >> "/home/duncan/llvm-2.9/64/Phase2/Release/llvmgcc42-2.9-release.install/x86_64-unknown-linux-gnu/include" >> #include "..." search starts here: >> #include <...> search starts here: >> /usr/local/include >> /usr/include >> End of search list. >> >> >> 2. Once you have confirmed that llvm-gcc will be including the system >> headers then find where the syscall numbers are defined >> >> $ grep -rH '__NR_OPEN' /usr/include >> >> 3. Then perhaps check to see if there is a header file that includes >> that (assuming it's called unistd.h or unistd_64.h or unistd_32.h on >> your system) >> >> $ grep -rHE '^#include <.+/unistd(_(32|64))?\.h>' /usr/include/ >> >> If you can find one (on my system that is /usr/include/sys/syscall.h >> which is already included in fd.c) >> >> >> You could also take a look a look at what include paths are being >> $ cd /path/to/klee/build/runtime/POSIX/ >> $ make clean >> $ make VERBOSE=1 >> >> This will show you the commands being executed to build the runtime >> library. >> >> Hope that helps, >> >> Dan. >> >> >> On 25 June 2013 04:54, [email protected] <[email protected]> wrote: >>> Hello, >>> I'm writing this email for my problems while I make install the klee >>> After I sucessfully set ./configure --with-llvm=$INSTALLDIR/$LLVM >>> --with-stp=$INSTALLDIR/$STP --with-uclibc=$INSTALLDIR/$POSIX >>> --enable-posix-runtime , I do make ENABLE_OPTIMIZED=1, then, the errors >>> reported like this >>> fd.c:81: error: '_NR_access' undeclared (first use in this function) >>> fd.c:81: error: (Each undeclared identifier is reported only once >>> fd.c:81: error: for each function it appears in.) >>> fd.c: In function '_fd_open': >>> fd.c: 181: error: '_NR_open' undeclared (first use in this function) >>> fd.c: In function '_fd_lseek': >>> fd.c: 390: error: '_NR_lseek' undeclared (first use in this function) >>> fd.c: In function '_fd_stat': >>> fd.c: 439: error: '_NR_stat' undeclared (first use in this function) >>> fd.c: In function '_fd_lstat': >>> fd.c: 458: error: '_NR_lstat' undeclared (first use in this function) >>> ......... >>> fd.c: In function 'select': >>> fd.c: 1187: error: '_NR_select' undeclared (first use in this >>> function) >>> make[2]: ***[$INSTALLDIR/klee/runtime/POSIX/Release+Asserts/fd.ll] >>> Error 1 >>> make[2]: leaving directory `$INSTALLDIR/klee/runtime/POSIX' >>> make[1]: ***[POSIX/.makeall] Error 2 >>> make[1]: leaving directory `$INSTALLDIR/klee/runtime' >>> make: *** [all] Error 1 >>> Would you please give me some advice? >>> Thank you in advance. >>> >>> Best Regards. >>> Demo. _______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
