[klee-dev] KLEE installation problem

[Urmas Repinski]

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