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
