It is necessary to specify export $INSTALLDIR = ""; variable in the script, this is the location where KLEE will be installed too.
Hope this helps, Urmas Repinski From: [email protected] To: [email protected] Date: Mon, 17 Jun 2013 12:46:49 +0300 Subject: Re: [klee-dev] KLEE build 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 _______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
_______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
