[klee-dev] KLEE installation problem

[koxiaozi at aliyun.com]

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.


-------------- next part --------------
HTML attachment scrubbed and removed