From mboxrd@z Thu Jan  1 00:00:00 1970
From: Andrew Cooper <andrew.cooper3@citrix.com>
Subject: Re: ocaml bindings
Date: Fri, 5 Apr 2013 20:13:21 +0100
Message-ID: <515F2251.9030203@citrix.com>
References: <3258352.oW0QVvLMy7@localhost> <515C91FC.1090804@citrix.com>
	<515D9201.5060304@eu.citrix.com> <3577098.YjGz5guQxr@localhost>
	<515F15CA.3040400@luminar.eu.org>
	<BDC51EF7-3D40-4A28-96DE-047BBE25AE4A@recoil.org>
Mime-Version: 1.0
Content-Type: text/plain; charset="us-ascii"
Content-Transfer-Encoding: 7bit
Return-path: <xen-devel-bounces@lists.xen.org>
In-Reply-To: <BDC51EF7-3D40-4A28-96DE-047BBE25AE4A@recoil.org>
List-Unsubscribe: <http://lists.xen.org/cgi-bin/mailman/options/xen-devel>,
	<mailto:xen-devel-request@lists.xen.org?subject=unsubscribe>
List-Post: <mailto:xen-devel@lists.xen.org>
List-Help: <mailto:xen-devel-request@lists.xen.org?subject=help>
List-Subscribe: <http://lists.xen.org/cgi-bin/mailman/listinfo/xen-devel>,
	<mailto:xen-devel-request@lists.xen.org?subject=subscribe>
Sender: xen-devel-bounces@lists.xen.org
Errors-To: xen-devel-bounces@lists.xen.org
To: Anil Madhavapeddy <anil@recoil.org>
Cc: "xen-devel@lists.xen.org" <xen-devel@lists.xen.org>, Vincent Bernardoff <vb@luminar.eu.org>
List-Id: xen-devel@lists.xenproject.org

On 05/04/13 20:05, Anil Madhavapeddy wrote:
> On 5 Apr 2013, at 11:19, Vincent Bernardoff <vb@luminar.eu.org> wrote:
>
>> Hi there.
>>
>> Please try applying this patch (and only this patch) on top of Xen (4.2 or unstable).
>> It should fix all the OCaml issues.
>>
>> Please give me feedback if possible.
>>
> --- a/tools/ocaml/common.make
> +++ b/tools/ocaml/common.make
> @@ -15,7 +15,7 @@ OCAMLOPTFLAG_G := $(shell $(OCAMLOPT) -h 2>&1 | sed -n 's/^  *\(-g\) .*/\1/p')
>  OCAMLOPTFLAGS = $(OCAMLOPTFLAG_G) -ccopt "$(LDFLAGS)" -dtypes $(OCAMLINCLUDE) -cc $(CC) -w F -warn-error F
>  OCAMLCFLAGS += -g $(OCAMLINCLUDE) -w F -warn-error F
>  
> -VERSION := 4.1
> +VERSION := 4.3
>  
> This shouldn't really be hardcoded here; isn't there XEN_VERSION or something from the main Makefile's that'll stop this getting out of sync all the time?
>
> -anil

There are several places like this in the build system.  The docs
directory is another location which comes to mind.

XEN_VERSION is defined in the Xen root makefile, and there is a .PHONY
target called xenversion to get at it.

I did submit a patch ages ago but it got nowhere (and now I cant seem to
find the email in the archives)  I will see if I still have the patch
lying around

~Andrew

> _______________________________________________
> Xen-devel mailing list
> Xen-devel@lists.xen.org
> http://lists.xen.org/xen-devel