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: [email protected]
To: [email protected]; [email protected]
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 <[email protected]> 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 <[email protected]> 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 <[email protected]> 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
[email protected]
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
[email protected]
https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
install-klee.sh
Description: Bourne shell script
_______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
