From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr 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 A5B437F7AF for ; Sat, 26 Sep 2015 11:28:29 +0200 (CEST) IronPort-PHdr: 9a23:wFNKxRAvG/tVf5fmiGdZUyQJP3N1i/DPJgcQr6AfoPdwSP79r8bcNUDSrc9gkEXOFd2CrakU16yL6+jJYi8p39WoiDg6aptCVhsI2409vjcLJ4q7M3D9N+PgdCcgHc5PBxdP9nC/NlVJSo6lPwWB6kO74TNaIBjjLw09fr2zQd6OyZnvn8mJuLTtICxwzAKnZr1zKBjk5S7wjeIxxbVYF6Aq1xHSqWFJcekFjUlhJFaUggqurpzopM0r221qtvkg789NV7nhN+R9FOQATWduD2dg3sTsqB2LYRaM6zNISGwRjx5EKwfA5RD+GJz2t32pmPB63Xy1MNf6BYsoXjC66q5tTle8iSEJMBY2/Xvbz9dsi6ZDpRunoVpzztiHM8muKPNic/aFLpshTm1bU5MUDnQZDw== Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=info@gerd-stolpmann.de; spf=None smtp.mailfrom=info@gerd-stolpmann.de; spf=None smtp.helo=postmaster@mout.kundenserver.de Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of info@gerd-stolpmann.de) identity=pra; client-ip=212.227.126.187; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="info@gerd-stolpmann.de"; x-sender="info@gerd-stolpmann.de"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of info@gerd-stolpmann.de) identity=mailfrom; client-ip=212.227.126.187; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="info@gerd-stolpmann.de"; x-sender="info@gerd-stolpmann.de"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mout.kundenserver.de) identity=helo; client-ip=212.227.126.187; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="info@gerd-stolpmann.de"; x-sender="postmaster@mout.kundenserver.de"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0DkAQDoZAZWlLt+49RDGoN4abQnixQKhXkCgSA7EQEBAQEBAQEBEAEBAQEHCwsJHzCCHYIIAQEEVSQQC0ZXBhMJiCkJO8s+AQEBAQEBBAEBAQEehXiFeIRnJgeCLgxBgTEFhzSOPH4ChBWHeoIVhmwEkjo3gj0cgVZvAYkgAQEB X-IPAS-Result: A0DkAQDoZAZWlLt+49RDGoN4abQnixQKhXkCgSA7EQEBAQEBAQEBEAEBAQEHCwsJHzCCHYIIAQEEVSQQC0ZXBhMJiCkJO8s+AQEBAQEBBAEBAQEehXiFeIRnJgeCLgxBgTEFhzSOPH4ChBWHeoIVhmwEkjo3gj0cgVZvAYkgAQEB X-IronPort-AV: E=Sophos;i="5.17,591,1437429600"; d="asc'?scan'208";a="148655318" Received: from mout.kundenserver.de ([212.227.126.187]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 26 Sep 2015 11:28:28 +0200 Received: from office1.lan.sumadev.de ([88.69.138.237]) by mrelayeu.kundenserver.de (mreue002) with ESMTPSA (Nemesis) id 0MQBaV-1Zjudk1ox9-005Fey; Sat, 26 Sep 2015 11:28:27 +0200 Received: from [192.168.65.10] (unknown [192.168.65.10]) by office1.lan.sumadev.de (Postfix) with ESMTPSA id B5A5ADC05D; Sat, 26 Sep 2015 11:28:26 +0200 (CEST) Message-ID: <1443259698.4442.12.camel@e130.lan.sumadev.de> From: Gerd Stolpmann To: Raoul Duke Cc: OCaml Date: Sat, 26 Sep 2015 11:28:18 +0200 In-Reply-To: References: Content-Type: multipart/signed; micalg="pgp-sha1"; protocol="application/pgp-signature"; boundary="=-WJDyh8P0b6wEfYqKJBWO" X-Mailer: Evolution 3.10.4-0ubuntu2 Mime-Version: 1.0 X-Provags-ID: V03:K0:P7DqK9MU+wHlQMn9TxHj4gYboRiZr2EYo9++hJWRQ0NnPYHhJcQ evJl3mEiBEFTYKzAHsMfHmOD+06GUSiq/gSsipAvxgdhKo+zyAlyXR/w9pN8na1hs9OKDW9 mM7XzgSTTlVrGBUFS74r1DFU5EZ8e6kRtazOv/g3Nb/ZHXhkTMKPRb7P2JgGhZ+Hf2MgJ/C 0b8MzSOlVl6djG+UBZcHQ== X-UI-Out-Filterresults: notjunk:1;V01:K0:9NbRaezaf64=:QtJjo9AjDnYrch9AzFgxaf VmluuQYkr6s45D7mY/tgmAja9E+KHyCHVnIFLHqXgGCu/Uu8iJrZ48lZpijwWTQXIhmm2YH1m 5TECd8N7X7fvEl78iaowNYxH1YgZqriRiVeJbikbTJIVg/lOZwWnGZR7k5Sjq4EFM22ipvfs2 xcQgMaJ/9xvsSK38m9wT9jFLOLIrwnuPLmRm8W+A7BqbqqfHvQbw9r/2M0QAIHP850KAqF4eR rw4NMmLjy7LOhlo1rEYFfHsEjmbOw1vUR+8VVtl30Izfi8EpT9j/hfCLxkJCKAwozrkHvQzSw BjrWjAqoHJsVQ6bvtfwxdwZD7qYhsP0iCLmczrBej82AaCOlGW6PJKuTePeAnwWOAUoa46sop Y0qfHxO6wUuc6jinx16Vv7O2Fx3K7eXhmMoFwGa2LP9ylemMJtaXijlFOiqE3ZoDaBbFE5QND n+WhamQ+4eGJ1EnqDpDeSDYZ+wVDO0UVnz5pSkkff1xHuUrflOfbG8uG1Gkw783zG+7Q+Njs2 5h7clFCiqnJ4yGminxass+ZXkaTKdouPWh/rAZ0Rzr2SeSQWoGFz++PaJzP+mqB7flCKUnjDG NSOXzcPdi6cewjUKEpQofe+d0QfH3QB03gNaMyBg8TKTW3SzGhacOclstLiJ8fRVtNVp9u94u pUyV3HpEtG+0KF7Dje81RCcJPDbUET/lmw9E/+B48v1Uwu8o7FAivXgEGVYOHT9erAZ4= Subject: Re: [Caml-list] whither portability? --=-WJDyh8P0b6wEfYqKJBWO Content-Type: text/plain; charset="ISO-8859-15" Content-Transfer-Encoding: quoted-printable Am Freitag, den 25.09.2015, 14:13 -0700 schrieb Raoul Duke: > I would dearly love to be able to use OCaml everywhere. But the last I > knew, it was not easy to use it on Android & iOS. Is that a solved > problem now? And I do not mean somebody did it once and checked it in, > I mean that it is in constant use, to avoid bit rot and "it worked on > my machine" standard problems when people say something works. ;-) I was working the past months on iOS support (see http://caml.inria.fr/mantis/view.php?id=3D6986), for both 32 bit and 64 bit. This is very close to being solved. The goal is to include it into the main distribution, and there were very positive signals from the OCaml team. There are already users of this patch. I am still working on getting the test suite running which is not easy in a cross-compile environment. You are very welcome to testing the patch out and provide feedback. This is fairly important for this platform as it is quite special and usual testing strategies do not work well (because of cross-compilation, e.g. you cannot do a bootstrap cycle). Gerd --=20 ------------------------------------------------------------ Gerd Stolpmann, Darmstadt, Germany gerd@gerd-stolpmann.de My OCaml site: http://www.camlcity.org Contact details: http://www.camlcity.org/contact.html Company homepage: http://www.gerd-stolpmann.de ------------------------------------------------------------ --=-WJDyh8P0b6wEfYqKJBWO Content-Type: application/pgp-signature; name="signature.asc" Content-Description: This is a digitally signed message part Content-Transfer-Encoding: 7bit -----BEGIN PGP SIGNATURE----- Version: GnuPG v1 iQEcBAABAgAGBQJWBmUzAAoJEAaM4b9ZLB5TWskIAILnUJAsIOgu1dRJKU3inAyc KfCXMQ7OPjBcVKA428yG0zpqoHJWcoAwxrnoeiwIQNk5SNuiS7fZnJ0NkLYt6z35 RJXnFXqDOGVF+mNWGS5YEA/cHSf6uKdjbCww6isCflBsqFsqJ32A8/IjaHsyDwth sJuAwOgfrnior34ahm4Y9X90A8qm03Fuonvtm7f+MIN3cgg3p53+Egnzvb6MghE8 kiq8zz33quNaubZuX9uHliS5kQcLuwc5X7A3DlSAJfuXaq/sych/KeatS668X2I8 NewZxleAbq11ZCfDI8FE6OkFsO/5hvtmQ0xJrEWEOu/c2bQyuE4HF+HFLiqBkIA= =6Xio -----END PGP SIGNATURE----- --=-WJDyh8P0b6wEfYqKJBWO--