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 777D77F7AF for ; Sat, 26 Sep 2015 18:22:03 +0200 (CEST) IronPort-PHdr: 9a23:u+rcQBFVuQAa+dwRFpIlUp1GYnF86YWxBRYc798ds5kLTJ75r8+wAkXT6L1XgUPTWs2DsrQf27aQ7vqrBjNIyK3CmU5BWaQEbwUCh8QSkl5oK+++Imq/EsTXaTcnFt9JTl5v8iLzG0FUHMHjew+a+SXqvnYsExnyfTB4Ov7yUtaLyZ/ni6bvodaMPE1hv3mUX/BbFF2OtwLft80b08NJC50a7V/3mEZOYPlc3mhyJFiezF7W78a0+4N/oWwL46pyv+YJa6jxfrw5QLpEF3xmdjltvIy4/SXEGBSP52cRS3gfiBkAVxfF7Q33R4r4qCjSqep8xCSDIMTsTvYzQzv0vIlxTxq9pyodO3YC7GbTksl5iqQT9BOnqRtXzIPObMSOKP16ZqbUe9VcSWcXDZUZbDBIHo7pN9hHNOEGJ+sN6tCl/1Y= 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: A0CIAAB4xQZWlLt+49Rdg3hpvTwBDYFxBoV9AoEhOBQBAQEBAQEBARABAQEBBwsLCR8wgh2CCAEBBFUkEAtGVwYTCYgpCctgAQEBAQEFAQEBAR6FeIV4hGcmB4IuDEGBMQWHNI48fgKMD4FPhzIEjk2DbR8BAYRFbwGJIAEBAQ X-IPAS-Result: A0CIAAB4xQZWlLt+49Rdg3hpvTwBDYFxBoV9AoEhOBQBAQEBAQEBARABAQEBBwsLCR8wgh2CCAEBBFUkEAtGVwYTCYgpCctgAQEBAQEFAQEBAR6FeIV4hGcmB4IuDEGBMQWHNI48fgKMD4FPhzIEjk2DbR8BAYRFbwGJIAEBAQ X-IronPort-AV: E=Sophos;i="5.17,593,1437429600"; d="asc'?scan'208";a="148673676" 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 18:22:02 +0200 Received: from office1.lan.sumadev.de ([88.69.138.237]) by mrelayeu.kundenserver.de (mreue004) with ESMTPSA (Nemesis) id 0MH3Pq-1ZsZXn3H4E-00DsbM; Sat, 26 Sep 2015 18:22:01 +0200 Received: from [192.168.65.10] (unknown [192.168.65.10]) by office1.lan.sumadev.de (Postfix) with ESMTPSA id D8513DC05D; Sat, 26 Sep 2015 18:22:00 +0200 (CEST) Message-ID: <1443284509.4442.23.camel@e130.lan.sumadev.de> From: Gerd Stolpmann To: whitequark Cc: Raoul Duke , OCaml Date: Sat, 26 Sep 2015 18:21:49 +0200 In-Reply-To: References: <1443259698.4442.12.camel@e130.lan.sumadev.de> Content-Type: multipart/signed; micalg="pgp-sha1"; protocol="application/pgp-signature"; boundary="=-YXOdg4r8U9aKWGTqsOt5" X-Mailer: Evolution 3.10.4-0ubuntu2 Mime-Version: 1.0 X-Provags-ID: V03:K0:mKdVjXvDTMzHHk9lkGUzUJ+Uzvj585D0UCXxsaPCr170h5zEQuP 342tn4xZPnCCMB246oE9WMBovsmuZxdqR84w0CC0p4zQvpLEzxIGV+cEK9gvmUHBed/pcwl uYfX2bjnztUYJ6y1QUEcfls++AJkw4bYm1EeRIoa4qIm5HNTc2xIOCvA00eHrA6qqp/66jT DHl32f4ffPAeipW99hGQw== X-UI-Out-Filterresults: notjunk:1;V01:K0:vK7AxuRJi1s=:U5cLtDXNufaFZ2WCVdUvnK O2sLmNM9b9tJ3Ivc3/VqUUaDgy03BbirP2jwvtamPqjnQ2h1Y5KVOsBOSIOy8NA0eQquDPvce ROXirMd78J4Eu6DMSmBCBy3Whd9h+OQ3qbpiJ9eIwLEML+kaphxI77xkhaTlRvD3rPg8MFqHW qvN6HO9YnMwG1C0rq6KpGxvZtpDdDhX4JdENpBGyYTK8tkmSuX4plGJb3d0avCC1dE5sBRmBZ 7HH1R3I5mz+btYGQCHmKv1L1tvtYWLdkJWTm4402CYjjyRP1XF7W38YW/QT+l1wBqsWyA/kZx x30+Sb58W6YRdKfgfCGmSVdWCFGB8CqOEvPEpLS02UHso3iOmub+C6gt/GjKefo98t8CaJFXq 871OcivrusfVrdmStIHWd9Ya0jJpVBA+GJubx5C7cVOrXl/CkpFvsQCvlHI1OrOR1rt3t8JGv xWZN3D6tQgp3AURQ5HWSJVX62yG7iNEOw/JimTitAHOsfzJeL01CiUGGZk/5il1eXknqO5UUR G/x1EgnwlxT60vN+gN8g4Q6+fVxauQngUR6eITxW6CotxNjyiDkPw5IzNiBmit56fAuuKPIk+ B8jfeaxRrLWySSuQfTaEuU0OKlEOmvLtYveo/sIZXp8c9BtvpKW4GBQcH1sNdTNLZe5QIfkaj SRrD7NlO4MqvX2vzeog6L4GyzikB5CcQcH37eP7stU/yEHWu2o9b1bHBukXwJBwBnjb8= Subject: Re: [Caml-list] whither portability? --=-YXOdg4r8U9aKWGTqsOt5 Content-Type: text/plain; charset="ISO-8859-15" Content-Transfer-Encoding: quoted-printable Am Samstag, den 26.09.2015, 18:59 +0300 schrieb whitequark: > With opam-android, the workflow is exactly identical to building any > regular OCaml project, with the difference that the final binary=20 > produced > is a .o or .so file that you can use as any other C library in > your Android project; the Android cross-toolchain is just another switch > in opam. >=20 > I don't know how it works for iOS but it is almost certainly possible > to achieve the same level of convenience. On iOS you just use ocamlopt -output-obj to get a .o and link this into your app together with libasmrun.a (apps cannot use shared libraries on iOS so creating an .so is pointless). You can also create a standalone executable, but this is only useful for jailbroken devices.=20 Note that even bytecode works on the device. Maybe useful for a toploop on the go? 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 ------------------------------------------------------------ --=-YXOdg4r8U9aKWGTqsOt5 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 iQEcBAABAgAGBQJWBsYdAAoJEAaM4b9ZLB5TbOAH/Ay4g0JM3lvMY3MfqlRLU04J Gl8OfhOpQYUqAhmgUAA7wJ/bBjO0N/FP8hz9IHN+gMkcgAlox/uoghaBMDFQ27Sl /sC0+xZOd9Vw7FxMGytNSlDfwgLGjG6ECAA18GYcqACNvMfSykudr7e2o0VQ0Jxq csYEejukzRdpmB299dVvAb6+DjaCWo4UX+TE/CNya6p0jtm/lY45btoaPDxxRCgI 4dBjOmMjkSIDvxKuOP9B2+FR/QKH/Asmx8xDgygGX7d434Tz3Ul4WHO9FdctaCf+ 5xH2Eb6glN1FD+IzlHiO+SXV4+wo8yAgoPEIG24pd7o73+3cCOaP3rfXtzEwV2o= =oOt8 -----END PGP SIGNATURE----- --=-YXOdg4r8U9aKWGTqsOt5--