No problem. Check for KLEE installation too.
And script is actually very useful, once written, you can extend it to make installation as simple as possible, in the future at another PC. Thank You, Urmas Repinski. Date: Wed, 19 Jun 2013 19:56:54 +0800 From: [email protected] To: [email protected] Subject: Re: RE: KLEE installation problem Finally, I make the uclicb successfully. Thank you very much. From: Urmas Repinski Date: 2013-06-19 17:06 To: kylinsmail; klee Subject: RE: KLEE installation problem Hello, Kylin. Problem seems to be with your llvm installation. If path "my_llvm_root" is correct, make sure that llvm were installed with no errors. This error can appear if llvm were installed with error, it means that not installed at all, but the llvm folder exists. My suggestion is to execute llvm installation again: export $INSTALLDIR = "path/to/klee/installation"; LLVM="llvm-2.9" echo " Package $LLVM" curl -O http://llvm.org/releases/2.9/llvm-2.9.tgz cp $LLVM.tgz $INSTALLDIR/$LLVM.tgz (cd $INSTALLDIR; tar xvzf $LLVM.tgz; cd $LLVM; ./configure --enable-optimized --enable-assertions; make) And check if no installation error appear. After that install STP, execute, check for errors again export $INSTALLDIR = "path/to/klee/installation"; LLVM="llvm-2.9" STP="stp" # change revision number to 1180 on 64 bit system, 940 on 32 bit system # --with-fpic configure option is required on 64 bit machines echo " Package $STP" svn co -r 1180 https://stp-fast-prover.svn.sourceforge.net/svnroot/stp-fast-prover/trunk/stp $INSTALLDIR/$STP (cd $INSTALLDIR/$STP; ./scripts/configure --with-fpic ; make OPTIMIZE=-O2 CFLAGS_M32= install ; ulimit -s unlimited ) And after that your uclibc-0.02-x64: export $INSTALLDIR = "path/to/klee/installation"; LLVM="llvm-2.9" STP="stp" POSIX="klee-uclibc-0.02-x64" #download manually to SCRIPT LOCATION (this file), echo " Package $POSIX" #64 bit #http://www.doc.ic.ac.uk/~cristic/klee/klee-uclibc-x64.html #32 bit #http://www.doc.ic.ac.uk/~cristic/klee/klee-uclibc-i386.html cp $POSIX.tgz $INSTALLDIR/$POSIX.tgz (cd $INSTALLDIR; tar zxvf $POSIX.tgz ; cd $POSIX ; ./configure --with-llvm=$INSTALLDIR/$LLVM ; make clean; make ) And finally install KLEE export $INSTALLDIR = "path/to/klee/installation"; LLVM="llvm-2.9" STP="stp" POSIX="klee-uclibc-0.02-x64" #download manually to SCRIPT LOCATION (this file), KLEE="klee" echo " Package $KLEE" svn co http://llvm.org/svn/llvm-project/klee/trunk $INSTALLDIR/$KLEE (cd $INSTALLDIR/$KLEE; ./configure --with-llvm=$INSTALLDIR/$LLVM --with-stp=$INSTALLDIR/$STP --with-uclibc=$INSTALLDIR/$POSIX --enable-posix-runtime ; make clean; make ENABLE_OPTIMIZED=1; ) This should work fine. Urmas Repinski. Date: Wed, 19 Jun 2013 16:54:14 +0800 From: [email protected] To: [email protected]; [email protected] Subject: KLEE installation problem Hello, I'm writing this email for my problems while I make install the uclibc-0.02-x64. After I sucessfully set ./configure --with-llvm="my_llvm_root" , I do make , then, the errors reported like this : /bin/sh: 0: Illegal option -- make: --emit-llvm: Command not found make: --emit-llvm: Command not found /bin/sh: 0: Illegal option -- make[1]: --emit-llvm: Command not found make[1]: --emit-llvm: Command not found extra/scripts/gen_bits_syscall_h.sh: 30: extra/scripts/gen_bits_syscall_h: --emit-llvm: not found extra/scripts/gen_bits_syscall_h.sh: 30: extra/scripts/gen_bits_syscall_h: --emit-llvm: not found CC libcrypt/crypt.os /bin/sh: 1: --emit-llvm: not found make: *** [libcrypt/crypt.os] Error 127 Would you please give me some advice? Thank you in advance. Best Regards. Kylin.
_______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
