Hi all, Thanks for your help! I have used whole-program-llvm for compiling Coreutils6.11 with LLVM3.4. The steps are as following:
mkdir obj-llvm cd obj-llvm ../configure --disable-nls CFLAGS="-g" CC=? make However, I do not know the what the contents of CC. Is it wllvm CXX=wllvm++ cmake ? And after make order, can the Coreutils6.11 be compiled completely? Thank you very much. Zhiyi Zhang On Wed, Mar 18, 2015 at 4:57 PM, Dan Liew <d...@su-root.co.uk> wrote: > Hi Zhiyi, > > Please do reply-all when using the mailing list so that klee-dev gets > CC'ed. > > On 18 March 2015 at 08:32, Zhiyi Zhang <xianlingzibiy...@gmail.com> wrote: > > Hi Dan, > > > > Thank you for your reply very much. > > > > I am still confused that do you mean coreutills cannot be run on KLEE > > compiled with > > LLVM 3.4, expect I use the whole-program-llvm? > > No. > > I am saying > > - ``klee-gcc`` is just a wrapper script (read the code) for ``llvm-gcc``. > > - ``llvm-gcc`` will emit LLVM bitcode in the format used by LLVM 2.9. > > - KLEE supports being built with different versions of LLVM. > > - You have built KLEE with LLVM 3.4 therefore you cannot use > ``llvm-gcc`` (the LLVM bitcode will be incompatible) therefore you > cannot > use the ``klee-gcc`` wrapper script. > > You have three options > > * Use whole-program-llvm. This is what I would advise. > > * Use ``klee-clang`` [1] which is wrapper script around clang. > > * Use KLEE with llvm 2.9, llvm-gcc and the klee-gcc wrapper script. > > > > [1] https://github.com/klee/klee/pull/213 >
_______________________________________________ klee-dev mailing list klee-dev@imperial.ac.uk https://mailman.ic.ac.uk/mailman/listinfo/klee-dev