This is an archived copy of the Xen.org mailing list, which we have preserved to ensure that existing links to archives are not broken. The live archive, which contains the latest emails, can be found at http://lists.xen.org/
Home Products Support Community News


Re: [Xen-devel] [PATCH] OCaml tools: ask compiler for correct library pa

To: Vincent Hanquez <vincent.hanquez@xxxxxxxxxxxxx>
Subject: Re: [Xen-devel] [PATCH] OCaml tools: ask compiler for correct library path
From: Tim Deegan <Tim.Deegan@xxxxxxxxxx>
Date: Wed, 8 Jun 2011 14:46:33 +0100
Cc: xen-devel@xxxxxxxxxxxxxxxxxxx
Delivery-date: Wed, 08 Jun 2011 06:47:32 -0700
Envelope-to: www-data@xxxxxxxxxxxxxxxxxxx
In-reply-to: <4DEF7CE9.5070304@xxxxxxxxxxxxx>
List-help: <mailto:xen-devel-request@lists.xensource.com?subject=help>
List-id: Xen developer discussion <xen-devel.lists.xensource.com>
List-post: <mailto:xen-devel@lists.xensource.com>
List-subscribe: <http://lists.xensource.com/mailman/listinfo/xen-devel>, <mailto:xen-devel-request@lists.xensource.com?subject=subscribe>
List-unsubscribe: <http://lists.xensource.com/mailman/listinfo/xen-devel>, <mailto:xen-devel-request@lists.xensource.com?subject=unsubscribe>
References: <4DEE5FC1.4040609@xxxxxxxxxx> <20110607202153.GA9629@xxxxxxxxxxxxxxxxxxxxxxx> <4DEF7CE9.5070304@xxxxxxxxxxxxx>
Sender: xen-devel-bounces@xxxxxxxxxxxxxxxxxxx
User-agent: Mutt/1.5.21 (2010-09-15)
At 14:45 +0100 on 08 Jun (1307544313), Vincent Hanquez wrote:
> On 06/07/2011 09:21 PM, Tim Deegan wrote:
> >Hi,
> >
> >At 18:28 +0100 on 07 Jun (1307471313), Mike McClurg wrote:
> >>From: Mike McClurg<mike.mcclurg@xxxxxxxxxx>
> >>
> >>OCaml libraries will live in /usr/local/ if the user compiles OCaml
> >>from source. This patch asks the OCaml compiler where we should look
> >>for libraries.
> >This patch edits the #include path, not the library path.  Are there
> >any ocaml support libraries that would require -L options to $(CC)?
> OCaml doesn't make the same distinction that C does.

The change is to C compiler flags. 


Tim Deegan <Tim.Deegan@xxxxxxxxxx>
Principal Software Engineer, Xen Platform Team
Citrix Systems UK Ltd.  (Company #02937203, SL9 0BG)

Xen-devel mailing list