I'm just trying to port KLEE Symbolic Virtual Machine (http://klee.llvm.org) with POSIX support on OpenBSD for automated testing of source code (KLEE without POSIX runtime compiles very well and works fine - all unit tests are passed). But the problem is that for POSIX support KLEE requires to use uClibc which is Linux-dependent. I need a C Standard library which one I can compile with LLVM and change the sources of KLEE to support it. The best candidate for it is system libc.
> Hi Serguey, > > I'm curious why you need compile libc with llvm. Is this for educational > purposes or something else? > > Regards, > > On 25/01/2012, at 11:34, Serguey Kuritsin wrote: > > > My requirement is to compile to llvm bitcode not to binary. > > And I must use llvm 2.8. > > > > > > > >> On 2012/01/25 17:22, Serguey Kuritsin wrote: > >>> Thanks! > >>> > >>> I've started to explore src/lib/libc/Makefile. It was too easy to > >>> perform: cd src/lib/libc CC=llvm-gcc AR=llvm-ar NM=llvm-nm LD=llvm-ld > >>> make > >> > >>> The rest is bug-fixing in Makefile. > >> > >> Ah, I've only tried CC=clang myself (which works perfectly with no changes > >> to the Makefile), I haven't tried replacing the other tools nor using > >> llvm-gcc (which is no longer supported in LLVM anyway so you must be > >> using an old version).
