[klee-dev] KLEE installation problem

[Urmas Repinski]

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: kylinsmail at gmail.com
To: urrimus at hotmail.com
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: kylinsmail at gmail.com
To: 
urrimus at hotmail.com; klee-dev at imperial.ac.uk
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. 		 	   		  
-------------- next part --------------
HTML attachment scrubbed and removed