From: Vincent Hanquez <vincent.hanquez@eu.citrix.com>
To: Ian Campbell <Ian.Campbell@eu.citrix.com>
Cc: "xen-devel@lists.xensource.com" <xen-devel@lists.xensource.com>
Subject: Re: [PATCH] ocaml: install built modules
Date: Thu, 11 Nov 2010 16:17:56 +0000 [thread overview]
Message-ID: <4CDC1734.9080404@eu.citrix.com> (raw)
In-Reply-To: <d98249b40f3c4a41b2f1.1289489588@localhost.localdomain>
On 11/11/10 15:33, Ian Campbell wrote:
> # HG changeset patch
> # User Ian Campbell<ian.campbell@citrix.com>
> # Date 1289489569 0
> # Node ID d98249b40f3c4a41b2f1ae9dc6b09b90b323460c
> # Parent 566505063e89cf583633613893d2913fe56eefee
> ocaml: install built modules
>
> [snip]
That does looks fine globally; However there's no need to install any
ocaml libraries apart from xl.
--
Vincent Hanquez
next prev parent reply other threads:[~2010-11-11 16:17 UTC|newest]
Thread overview: 6+ messages / expand[flat|nested] mbox.gz Atom feed top
2010-11-11 15:33 [PATCH] ocaml: install built modules Ian Campbell
2010-11-11 15:39 ` Ian Campbell
2010-11-11 16:17 ` Vincent Hanquez [this message]
2010-11-19 18:44 ` Ian Jackson
2010-11-22 9:28 ` Ian Campbell
2010-11-23 19:28 ` Ian Jackson
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=4CDC1734.9080404@eu.citrix.com \
--to=vincent.hanquez@eu.citrix.com \
--cc=Ian.Campbell@eu.citrix.com \
--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.