Firstly, you should have devel/gmake port installed.
Secondly, use gmake instead of make to build LLVM.

2010/9/3 neonlight_1979 <neonlight_1979 at 163.com>

> This week I tried to install LLVM+Clang+KLEE on VMWare FreeBSD 8.1. The
> LLVM and KLEE are downloaded from page http://llvm.org/releases/ and svn
> http://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?
>
>
>
>
> ------------------------------
> ???????????????????? <http://qiye.163.com/?163>
> _______________________________________________
> klee-dev mailing list
> klee-dev at keeda.stanford.edu
> http://keeda.Stanford.EDU/mailman/listinfo/klee-dev
>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: 
http://keeda.Stanford.EDU/pipermail/klee-dev/attachments/20100903/b1707e65/attachment.html
 

Reply via email to