[klee-dev] KLEE build

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>