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
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
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
>
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
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
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
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
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
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
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
10 matches
Mail list logo