[klee-dev] KLEE build
Urmas Repinski
urrimus at hotmail.com
Mon Jun 17 10:46:49 BST 2013
Hello.
During my KLEE installation i had created some KLEE installation script, attached to the letter (install-klee.sh).
Script is mostly copied from KLEE installation manual at http://klee.llvm.org/GetStarted.html
My Suggestion is to download this script somewhere into your system, install dependencies (refer to script), and install packages from script one-by one, by copying parts of the script to another temporal (.sh) executable and by executing it.
This will guarantee that your installation syntax is correct (my installation on Linux Mint 13 were success using this script) and it will be possible to see the errors, if they appear during installation (if some part of the script were finished with errors).
if errors occur, try to google and to fix them, this is usually missing libraries on your system, that is possible to correct by installing them.
For example i had following error:
/usr/bin/ld: skipping incompatible ../AST/libast.a when searching for -last
/usr/bin/ld: cannot find -last
And solution were:
Download libast-0.7.tar.gz
http://www.t2-project.org/packages/libast.html
tar -zxvf libast-0.7.tar.gz
cd libast-0.7/
./configure
make
make install
This should certainly solve many installation errors.
If there is questions or any other installation errors please feel free to ask me.
I am not working with KLEE any more at the moment, but can help to install it,
Urmas Repinski
Date: Mon, 17 Jun 2013 17:24:54 +0800
From: kylinsmail at gmail.com
To: alexandruionutdiaconescu at gmail.com; klee-dev at imperial.ac.uk
Subject: Re: [klee-dev] KLEE build
Thank you very very much...
I'll try it again step by step...
God bless me...
From: Alexandru Ionut
Diaconescu
Date: 2013-06-17 17:20
To: kylinsmail
CC: klee-dev
Subject: Re: Re: [klee-dev] KLEE build
since i cannot see that is not working, I can advice you:
install the dependencies first : sudo
apt-get install g++ curl dejagnu subversion bison flex (Ubuntu)
and
export the path
$
export C_INCLUDE_PATH=/usr/include/x86_64-linux-gnu $
export CPLUS_INCLUDE_PATH=/usr/include/x86_64-linux-gnu
then you should try again....
On Mon, Jun 17, 2013 at 11:15 AM, kylinsmail <kylinsmail at gmail.com> wrote:
Thank you very much,
But it still cannot work, even I take the steps before once again.
From: Alexandru Ionut Diaconescu
Date: 2013-06-17 16:51
To: kylinsmail
CC: klee-dev
Subject: Re: Re: [klee-dev] KLEE build
try this:
./configure --with-llvm=`pwd`/../llvm-2.9 --with-stp=`pwd`/../stp/install --with-uclibc=`pwd`/../klee-uclibc-0.02-$ARCH --enable-posix-runtimeI assume that you put them in the same folder, and you have the other tools required to build klee as well
On Mon, Jun 17, 2013 at 10:49 AM, kylinsmail <kylinsmail at gmail.com> wrote:
But it still told me "invalid llvmsrc directory" when I run
"./configure --with-llvm=~/llvm-2.9 ..."
From: Alexandru Ionut Diaconescu
Date: 2013-06-17 16:46
To: kylinsmail
CC: Loi
Luu; klee-dev
Subject: Re: [klee-dev] KLEE build
Yes, that is the def folder for the llvm2.9.
On Mon, Jun 17, 2013 at 10:40 AM, kylinsmail <kylinsmail at gmail.com> wrote:
you mean "llvm-2.9"?
From: Loi Luu
Date: 2013-06-17 16:31
To: kylinsmail; klee-dev
Subject: RE: [klee-dev] KLEE build
Its your
llvm folder.
Sent from my Windows Phone
From:
kylinsmail
Sent:
17/06/2013
15:15
To:
klee-dev
Subject:
[klee-dev] KLEE
build
Hello,
I spend serveral hours to build KLEE and its
envirment( include LLVM,STP,and so on) on my Ubuntu Server
12.04 follow the page: http://klee.llvm.org/GetStarted.html. But I'm stuck in
the sixth step, confused with the "path/to/llvm". For my
example, I download the llvm-2.9.tgz and extract the files into
directory llvm-2.9. Then I make a subdierctory, build . Running the "configure" and "make" commands
in this subdirectory. So, what is the path/to/llvm in my
situation?
Thank you in advance
!
_______________________________________________
klee-dev
mailing list
klee-dev at imperial.ac.uk
https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
--
Best
regards,Alexandru Ionut
Diaconescu
--
Best
regards,Alexandru Ionut
Diaconescu
--
Best
regards,Alexandru
Ionut Diaconescu
_______________________________________________
klee-dev mailing list
klee-dev at imperial.ac.uk
https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
-------------- next part --------------
HTML attachment scrubbed and removed
-------------- next part --------------
A non-text attachment was scrubbed...
Name: install-klee.sh
Type: application/x-sh
Size: 2076 bytes
Desc: not available
URL: <http://mailman.ic.ac.uk/pipermail/klee-dev/attachments/20130617/f3eddd3d/attachment.sh>
More information about the klee-dev
mailing list