Re[4]: Build libc separately

2012-01-25 Thread Serguey Kuritsin
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

Re: Build libc separately

2012-01-25 Thread Chiron IO
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, Serg

Re[2]: Build libc separately

2012-01-25 Thread Serguey Kuritsin
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 >

Re: Build libc separately

2012-01-25 Thread Stuart Henderson
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 perf

Re[2]: Build libc separately

2012-01-25 Thread Serguey Kuritsin
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. > On 2012-01-24, Serguey Kuritsin wrote: > > I just want to learn how to do it. And I know it is possible. I

Re: Build libc separately

2012-01-24 Thread Stuart Henderson
On 2012-01-24, Serguey Kuritsin wrote: > I just want to learn how to do it. And I know it is possible. I do not > expect extensive learning from someone who will explain me the meaning > of every line in every makefile and build system configs. I just want to > some starting points. If I fail it w

Re: Build libc separately

2012-01-24 Thread Marc Espie
On Tue, Jan 24, 2012 at 02:59:43PM +0400, Serguey Kuritsin wrote: > I just want to learn how to do it. And I know it is possible. I do not > expect extensive learning from someone who will explain me the meaning > of every line in every makefile and build system configs. I just want to > some start

Re: Build libc separately

2012-01-24 Thread Ariane van der Steldt
On Tue, Jan 24, 2012 at 02:59:43PM +0400, Serguey Kuritsin wrote: > I just want to learn how to do it. And I know it is possible. I do not > expect extensive learning from someone who will explain me the meaning > of every line in every makefile and build system configs. I just want to > some start

Re[2]: Build libc separately

2012-01-24 Thread Serguey Kuritsin
I just want to learn how to do it. And I know it is possible. I do not expect extensive learning from someone who will explain me the meaning of every line in every makefile and build system configs. I just want to some starting points. If I fail it will be a good experience too. > I think this

Re: Build libc separately

2012-01-24 Thread Janne Johansson
I think this would be a good case of "If you don't know how to do it, it is the wrong solution to your problem". Or, you will get a really decent amount of training in how to recover broken installations. 2012/1/24 Serguey Kuritsin : > Hello! > > I need to compile libc with different compiler (llv