[klee-dev] KLEE installation problem

[Urmas Repinski]

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: koxiaozi at aliyun.com
To: klee-dev at imperial.ac.uk
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
klee-dev at imperial.ac.uk
https://mailman.ic.ac.uk/mailman/listinfo/klee-dev 		 	   		  
-------------- next part --------------
HTML attachment scrubbed and removed