From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id 236B97FACE for ; Mon, 29 Sep 2014 14:58:11 +0200 (CEST) Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of juergen@hoetzel.info) identity=pra; client-ip=209.85.217.170; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="juergen@hoetzel.info"; x-sender="juergen@hoetzel.info"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of juergen@hoetzel.info) identity=mailfrom; client-ip=209.85.217.170; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="juergen@hoetzel.info"; x-sender="juergen@hoetzel.info"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-lb0-f170.google.com) identity=helo; client-ip=209.85.217.170; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="juergen@hoetzel.info"; x-sender="postmaster@mail-lb0-f170.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AuwBAHRWKVTRVdmqm2dsb2JhbABggyM+WAOCfcUpgWMBCYdOgQcIFgERAQEBAQEGCwsJFCyEBQQTEXUHCS4CJBIBBQE1IogUCAQJmhWDHW6LMBQhbw2URAqOAYICDSGCIQ8yEoFBBZIKhBWHCYFijSCEaRgphRZqAYFHgQIBAQE X-IPAS-Result: AuwBAHRWKVTRVdmqm2dsb2JhbABggyM+WAOCfcUpgWMBCYdOgQcIFgERAQEBAQEGCwsJFCyEBQQTEXUHCS4CJBIBBQE1IogUCAQJmhWDHW6LMBQhbw2URAqOAYICDSGCIQ8yEoFBBZIKhBWHCYFijSCEaRgphRZqAYFHgQIBAQE X-IronPort-AV: E=Sophos;i="5.04,620,1406584800"; d="scan'208";a="81269472" Received: from mail-lb0-f170.google.com ([209.85.217.170]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 29 Sep 2014 14:58:09 +0200 Received: by mail-lb0-f170.google.com with SMTP id n15so6137134lbi.1 for ; Mon, 29 Sep 2014 05:58:08 -0700 (PDT) X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20130820; h=x-gm-message-state:mime-version:from:date:message-id:subject:to :content-type; bh=ABK4/XJlhCoQpqdXnW08yeYRLGOSMxIb0v8baXys6I0=; b=dySPUUro6vF1eQnIXLT+4eeqLkHUjmNiJgRMtc2Iad3k0UsKB4Xfgag1aHjCe2OJl2 DbpaJbKxqL+gR/spepceYgvbh0ULYcXYM8s+WOMlOFKJhrhldHCuYe8qN8Qe0gi+/4tx HxxQWQZDj4pH3skPj4oTdg5XXi7UQ9TmQ0D1ryhTMPm+hL5hedPPXpd65VpYT58MfCNH CP8Q1MFLSHIrroq91UwTrFfX/qGXfwfWLVrTJ/llr24RWuoX5SBCAU/dBanzWPPSCc7a D56rD4GWL3kOLT+tKRQttc1wy90Ydl+UAclx2T61QIZJtfKaju6Dcdsk55ANhmyX1re+ 4ebw== X-Gm-Message-State: ALoCoQn5qxoyrMQQ8j6B3l8LdheuUBwu05GxL9CKm1WxezFNS1dEw8fwTHEPP3OMBvPd95spCx5c X-Received: by 10.152.37.135 with SMTP id y7mr7176183laj.66.1411995488517; Mon, 29 Sep 2014 05:58:08 -0700 (PDT) MIME-Version: 1.0 Received: by 10.25.85.144 with HTTP; Mon, 29 Sep 2014 05:57:48 -0700 (PDT) X-Originating-IP: [178.4.210.16] From: =?UTF-8?B?SsO8cmdlbiBIw7Z0emVs?= Date: Mon, 29 Sep 2014 14:57:48 +0200 Message-ID: To: caml-list@inria.fr Content-Type: multipart/alternative; boundary=089e01493a1484933e050433d188 Subject: [Caml-list] Unable to build Android cross-compiler with OCaml 4.02.0 --089e01493a1484933e050433d188 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable Hi, I was able to build a cross Compiler with OCaml 4.01.0 using this config: https://github.com/vouillon/ocaml-android But when I try to build with 4.02.0, building of the arm native stdlib fails: ../boot/ocamlrun ../ocamlopt -strict-sequence -w +33..39 -g -warn-error A -bin-annot -nostdlib -safe-string `./Compflags char.cmx` -c char.ml I/97 >> Fatal error: Liveness.fundecl Fatal error: exception Misc.Fatal_error Makefile.shared:79: recipe for target 'char.cmx' failed I did some git-bisecting and it seems this commit causes the error: commit c4f3a6c70c12681871573851921d3b070be5744b Author: Xavier Leroy Date: Fri Jul 18 14:07:35 2014 +0000 PR#6484 and PR#6486: CSE across memory allocations can present the GC with memory roots that are illegal. Plus: lift the previous restriction that all arithmetic ops and loads have at most one result register, this isn't true for ARM with soft floats. Plus: code refactoring and more comments. git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.02@15012 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 Any hints/help appreciated Regards, J=C3=BCrgen --089e01493a1484933e050433d188 Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable
Hi,

I was able to build a cross Compile= r with OCaml 4.01.0 using this config:=C2=A0https://github.com/vouillon/ocaml-android
<= div>
But when I try to build with 4.02.0, building of the arm= native stdlib fails:

../boot/ocamlrun ../oca= mlopt -strict-sequence -w +33..39 -g -warn-error A -bin-annot -nostdlib -sa= fe-string `./Compflags char.cmx` -c char.ml<= /div>
I/97
>> Fatal error: Liveness.fundecl
F= atal error: exception Misc.Fatal_error
Makefile.shared:79: recipe= for target 'char.cmx' failed


I did some git-bisecting and it seems this commit causes the error= :

commit c4f3a6c70c12681871573851921d3b070be5= 744b
Author: Xavier Leroy <xavier.leroy@inria.fr>
Date: =C2=A0 Fri Jul 18 14:07= :35 2014 +0000

=C2=A0 =C2=A0 PR#6484 and PR#6486: = CSE across memory allocations can present the GC with memory roots that are= illegal.
=C2=A0 =C2=A0 Plus: lift the previous restriction that = all arithmetic ops and loads have at most one result register, this isn'= ;t true for ARM with soft floats.
=C2=A0 =C2=A0 Plus: code refact= oring and more comments.
=C2=A0 =C2=A0=C2=A0
=C2=A0 =C2= =A0=C2=A0
=C2=A0 =C2=A0 git-svn-id: http://caml.inria.fr/svn/ocaml/version/4.0= 2@15012 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02

=
Any hints/help appreciated

Regards,=C2=A0

J=C3=BCrgen
--089e01493a1484933e050433d188--