Hello.
Error seems to be in your POSIX (ulibc) installation:
make[2]: ***[$INSTALLDIR/klee/runtime/POSIX/Release+Asserts/fd.ll]
Error 1
Possibly ulibc were installed with error (or not installed at all).
My suggestion is to re-install uclibc and to check if during uclibc
installation error were appeared.
Possibly yes, and try to fix it first.
Please let me know if ulibc were installed with no error,
Urmas Repinski.
Date: Tue, 25 Jun 2013 11:54:00 +0800
From: [email protected]
To: [email protected]
Subject: [klee-dev] KLEE installation problem
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
_______________________________________________
klee-dev mailing list
[email protected]
https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
