All of lore.kernel.org
 help / color / mirror / Atom feed
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 11:58:28 +0100	[thread overview]
Message-ID: <20080807105828.GD6604@implementation.uk.xensource.com> (raw)
In-Reply-To: <c3c918090808062356v3b610f37je526e16043e277b7@mail.gmail.com>

Geoffrey Lefebvre, le Wed 06 Aug 2008 23:56:21 -0700, a écrit :
> > Ok.  I had just tested with the debian-provided caml binaries.
> 
> I was originally using the ubuntu 8.04 ocaml binaries and I also tried
> using the ocaml 3.09 tar ball from inria.

The source code itself probably doesn't matter so much, it's actually
rather the configuration and glibc it's linking with that matters.

> Following your advice, I tried building the caml stubdomain using
> debian 4.0. The version of ocaml is 3.09.2. I get undefined reference
> to open64 and lseek64.

I guess you have a 32bit machine?  I don't think I have tried that.  The
problem here is that the caml binary uses the linux ABI.  I don't think
we want to support that ad aeternam.  I hoped that for (very) basic use
we wouldn't have to recompile caml.  I guess I can easily just add them,
I'll see.

> Which version of debian and ocaml did you use to build the stub
> domain?

debian 3.10.2-3.

Samuel

  reply	other threads:[~2008-08-07 10:58 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
2008-08-07  6:56   ` Geoffrey Lefebvre
2008-08-07 10:58     ` Samuel Thibault [this message]
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=20080807105828.GD6604@implementation.uk.xensource.com \
    --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.