From: Samuel Thibault <samuel.thibault@eu.citrix.com>
To: Geoffrey Lefebvre <geoffrey@cs.ubc.ca>
Cc: Andrew Warfield <andy@cs.ubc.ca>, Patrick Colp <pjcolp@cs.ubc.ca>,
"xen-devel@lists.xensource.com" <xen-devel@lists.xensource.com>
Subject: Re: Problems building caml-stubdom
Date: Thu, 7 Aug 2008 01:55:34 +0100 [thread overview]
Message-ID: <20080807005534.GL4486@implementation> (raw)
In-Reply-To: <c3c918090808061533x3f5f75a8qec591bf3f120daf9@mail.gmail.com>
Geoffrey Lefebvre, le Wed 06 Aug 2008 15:33:42 -0700, a écrit :
> I am trying to build the ocaml stub domain and I am having some
> compilation issues. I am getting a bunch of undefined references when
> linking mini-os.o.
Ah.
> I have managed to get rid of other linking errors by building ocaml
> with -fno-stack-protector and without large file support but I am
> still having the linking issue above.
Ok. I had just tested with the debian-provided caml binaries.
> I think i need to build the ocaml runtime against newlib
I guess that's the long run way yes.
> but how does one do that?
It's not only against newlib, but also against Mini-OS headers. That's
a TODO for now.
Samuel
next prev parent reply other threads:[~2008-08-07 0:55 UTC|newest]
Thread overview: 7+ messages / expand[flat|nested] mbox.gz Atom feed top
2008-08-06 22:33 Problems building caml-stubdom Geoffrey Lefebvre
2008-08-07 0:55 ` Samuel Thibault [this message]
2008-08-07 6:56 ` Geoffrey Lefebvre
2008-08-07 10:58 ` Samuel Thibault
2008-08-07 17:25 ` [PATCH] caml-stubdom: turn off_t 64bit on x86 [Was: Problems building caml-stubdom] Samuel Thibault
2008-08-07 23:42 ` Geoffrey Lefebvre
2008-08-07 23:46 ` Samuel Thibault
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=20080807005534.GL4486@implementation \
--to=samuel.thibault@eu.citrix.com \
--cc=andy@cs.ubc.ca \
--cc=geoffrey@cs.ubc.ca \
--cc=pjcolp@cs.ubc.ca \
--cc=xen-devel@lists.xensource.com \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is an external index of several public inboxes,
see mirroring instructions on how to clone and mirror
all data and code used by this external index.