when I try to install the libc6-dev,the shown on the screen is :
common@ubuntu-server:~$ sudo apt-get install libc6-devReading package lists...
DoneBuilding dependency tree Reading state information... Donelibc6-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 problemPlease 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 problemsis. They will not fix anything.When
you ran...$ grep -rH '__NR_OPEN' /usr/includethere are no matches indicating
you do not have any header files thatdefine the macros you need. This probably
means you have not installedthe necessary development header files. Your host
name suggests thatyou are using Ubuntu and the following header files so
suggest youperhaps you should make sure you have libc6-dev and/or
libc6-dev-i386installed.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
