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-***@public.gmane.org
To: urrimus-***@public.gmane.org
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-***@public.gmane.org
To:
urrimus-***@public.gmane.org; klee-dev-AQ/***@public.gmane.org
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.