This week I tried to install LLVM+Clang+KLEE on VMWare FreeBSD 8.1. The LLVM
and KLEE are downloaded from pagehttp://llvm.org/releases/ and
svnhttp://llvm.org/svn/llvm-project/klee/trunk . Now here's puzzle:
$ If Installing LLVM from source code
1. SETENV PATH to make LLVM-GCC-FreeBSD8.1 binaries available or copy files
to /usr/local/bin (by the way all the command files have been chmod to be added
'x' );
2. unzip llvm-2.7 source code, when configure:
[root at shrek /usr/software/llvm-2.7]# ./configure
checking buld system type...i386-unknown-freebsd8.1
......
checking for llvm-g++... /usr/local/bin/llvm-g++
checking LLVM capable compiler... llvm-gcc
checking tool compatibility... configure : error: GNU Make required but not
found
[root at shrek /usr/software/llvm-2.7]#
The Installing Process cannot be continued
$ If I use LLVM directly from binaries
1. SETENV PATH to make clang+llvm-2.7-i386-freebsd8 binaries available or
copy files to /usr/local/bin
2. Installing KLEE
unzip llvm-2.7 source code to a directory: /usr/software/llvm-2.7
Get into KLEE directory: /usr/software/klee
[root at shrek /usr/software/klee]# ./configure
--with-llvm=/usr/software/llvm-2.7
checking build system type... i386-unknown-freebsd8.1
......
checking llvm source dir... configure: error: invalid llvmobj directory:
/usr/software/llvm-2.7
$$$$$$$$$$$$$$$$$$$$$$
I've installed KLEE successfully under Ubuntu-10.04 Linux, but the Project with
source tree I want to check by LLVM KLEE is coded under FreeBSD.
I don't know whether I can install KLEE under FreeBSD8.1, anyone give some
advise?
-------------- next part --------------
An HTML attachment was scrubbed...
URL:
http://keeda.Stanford.EDU/pipermail/klee-dev/attachments/20100903/6d4892fa/attachment.html
