Xen project Mailing List

Re: [Xen-users] request patch to fix ocaml on Deb8

Date: Thu, 25 Dec 2014 22:23:43 +0000 (UTC)

Delivery-date: Thu, 25 Dec 2014 22:25:09 +0000

Domainkey-signature: a=rsa-sha1; q=dns; c=nofws; s=s2048; d=yahoo.com; b=KCqyxcp3vMWWVMgCVB2w9WiEsW81UiEIuNsDWdaK37M0S44Vfa3lCWczHkt19QkNXxIqhPlUGdr3SwBjWrtVc99Wjb+wIfTeeGWgcc6/AoLSKob7Qdu4omEjQiuAqTpfmEZbd0TDyO19I/XBAz7X4kPaz78pTFqaKhYXCVYXQljrb18D4g1PEKUdbm8vWYN+htBa6lpX+cGFqR2W8ybFJ5sVBU7euZFGtuDq6nChrNn7xo5n09D8pQh/LEIfH8V+qkPlQFa9YwHEnvDFNWVDyQVH2mEuNz6u9yxbPPQO+TlAA0S02/AuX50SH6XlFj3OW1hDlD5/YZP0Y7wsDCIYmQ==;

List-id: Xen user discussion <xen-users.lists.xen.org>

On deb8, the ocaml config used during xen build is here:

/etc/ocamlfind.conf

#ocamlfind printconf destdir -> /usr/local/lib/ocaml/4.01.0

I prefer to use stdlib, not destdir. So thats what I use in the patch below.

cat xen-deb8-common-make.patch

---------------------- snip --------------

diff --git a/tools/ocaml/common.make b/tools/ocaml/common.make

index d5478f6..fa5f9b0 100644
--- a/tools/ocaml/common.make
+++ b/tools/ocaml/common.make
@@ -17,6 +17,6 @@ OCAMLCFLAGS += -g $(OCAMLINCLUDE) -w F -warn-error F

VERSION := 4.1

-OCAMLDESTDIR ?= $(DESTDIR)$(shell $(OCAMLFIND) printconf destdir)
+OCAMLDESTDIR ?= $(DESTDIR)$(shell $(OCAMLFIND) printconf stdlib)

o= >$@.new && mv -f $@.new $@
--------------------------- snip ----------------------

On Wednesday, December 24, 2014 4:07 PM, Mark Pryor <tlviewer@xxxxxxxxx> wrote:

Building xen-4.5-rc4 on Deb8

----------

// fix to get ocaml to build in the normal dir

export OCAMLDESTDIR=$(pwd)/dist/install/usr/lib/ocaml/

unless this env variable is set, it will default to the build tree, not the install tree.

so maybe a patch will do,

OCAMLDESTDIR=$(pwd)/dist/install/$OCAMLLIB

make dist-tools

export XEN_TARGET_ARCH=x86_64

fakeroot ./tools/misc/mkdeb $(pwd) 4.5.0-rc4

result

http://pastebin.com/cu6XuNTW

_______________________________________________ Xen-users mailing list Xen-users@xxxxxxxxxxxxx http://lists.xen.org/xen-users