Discussion:
KLEE installation problem
k***@public.gmane.org
2013-06-19 08:54:14 UTC
Permalink
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.
Urmas Repinski
2013-06-19 09:06:28 UTC
Permalink
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.
Urmas Repinski
2013-06-19 12:05:08 UTC
Permalink
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.
Loading...