Hi Andrei, thanks for your message. I have now updated the installation instructions and added a link to your post. BTW, I also had to set CPLUS_INCLUDE_PATH to /usr/include/i386-linux-gnu in order to successfully install KLEE on Ubuntu 12.04.
Best, Cristian On 10/09/12 10:43, Porumb Andrei wrote: > Hello list, > > Not a question in itself, but I thought I would contribute with > something. > > "How to get KLEE up and running in Ubuntu 12.04" (x86, attached > document) > (without uClib and make check will fail) > > Or run the following script in the linux shell (should not ask you > anything) [take about 20 minutes with downloading and compiling on my > machine]: > > > cd ~ > sudo apt-get -y install g++ curl dejagnu subversion bison flex > mkdir work > cd work > wget http://llvm.org/releases/2.9/llvm-gcc-4.2-2.9-i686-linux.tgz > tar zxfv llvm-gcc-4.2-2.9-i686-linux.tgz > echo "export PATH=\$PATH:~/work/llvm-gcc-4.2-2.9-i686-linux/bin" >> > ~/.bashrc > echo "export PATH=\$PATH:~/work/klee/Release+Asserts/bin" >> ~/.bashrc > echo "export C_INCLUDE_PATH=/usr/include/i386-linux-gnu" >> ~/.bashrc > source ~/.bashrc > curl -O http://llvm.org/releases/2.9/llvm-2.9.tgz > tar zxvf llvm-2.9.tgz > cd llvm-2.9 > ./configure --enable-optimized --enable-assertions > make -j $(grep -c processor /proc/cpuinfo) > cd .. > svn co -r 940 > https://stp-fast-prover.svn.sourceforge.net/svnroot/stp-fast-prover/trunk/stp > stp > cd stp > ./scripts/configure --with-prefix=/home/$(whoami)/work/stp_install > --with-cryptominisat2 > make -j $(grep -c processor /proc/cpuinfo) OPTIMIZE=-O2 CFLAGS_M32= > install > cd .. > svn co http://llvm.org/svn/llvm-project/klee/trunk klee > cd klee > ./configure --with-llvm=/home/$(whoami)/work/llvm-2.9 > --with-stp=/home/$(whoami)/work/stp_install > make -j $(grep -c processor /proc/cpuinfo) ENABLE_OPTIMIZED=1 > make unittests > > Best Regards, > Andrei Porumb > > > > > > _______________________________________________ > klee-dev mailing list > klee-dev@keeda.stanford.edu > http://keeda.Stanford.EDU/mailman/listinfo/klee-dev > _______________________________________________ klee-dev mailing list klee-dev@keeda.stanford.edu http://keeda.Stanford.EDU/mailman/listinfo/klee-dev
