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 912E67FC3E for ; Sat, 26 Sep 2015 11:33:31 +0200 (CEST) IronPort-PHdr: 9a23:55eFIR2nJCA7r4aZsmDT+DRfVm0co7zxezQtwd8ZsegQI/ad9pjvdHbS+e9qxAeQG96Lt7QZ06L/iOPJZy8p2d65qncMcZhBBVcuqP49uEgeOvODElDxN/XwbiY3T4xoXV5h+GynYwAOQJ6tL2PbrnD61zMOABK3bVMzfbSpXNOKx+2MlMmMuLTrKz1SgzS8Zb4gZD6Xli728vcsvI15N6wqwQHIqHYbM85fxGdvOE7B102kvpT41NdZ/i9Ro/Ms8dJbGeW/JvxgDO8QMDNzOGkw4IjvtALfBV+E734YF2EXiQZgAg7f7Ri8UI2n4QXgse8o9ySAMYXNUbcwQTGr6aEjHB7uhiAvODMj/CTMlst0lKdSphTnqxEpkN2cW52cKPcrJvCVRtgdX2cUG58JDyE= 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.130; 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.130; 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.130; 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: A0DpAQAVZgZWlIJ+49RDGoN4abQnixQKhXmBIjwQAQEBAQEBAQEQAQEBAQcLCwkfMIIdgmMkSHYTCYgpCTvLQAELIIV4iwURgiQMQYExBYc0jjx+AoQVh3qBT0aDcIJ8BI5Ng204gjwcgVZvAYkgAQEB X-IPAS-Result: A0DpAQAVZgZWlIJ+49RDGoN4abQnixQKhXmBIjwQAQEBAQEBAQEQAQEBAQcLCwkfMIIdgmMkSHYTCYgpCTvLQAELIIV4iwURgiQMQYExBYc0jjx+AoQVh3qBT0aDcIJ8BI5Ng204gjwcgVZvAYkgAQEB X-IronPort-AV: E=Sophos;i="5.17,591,1437429600"; d="asc'?scan'208";a="148655547" Received: from mout.kundenserver.de ([212.227.126.130]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 26 Sep 2015 11:33:20 +0200 Received: from office1.lan.sumadev.de ([88.69.138.237]) by mrelayeu.kundenserver.de (mreue002) with ESMTPSA (Nemesis) id 0Lj9fL-1aFw142NDT-00dSx0; Sat, 26 Sep 2015 11:33:17 +0200 Received: from [192.168.65.10] (unknown [192.168.65.10]) by office1.lan.sumadev.de (Postfix) with ESMTPSA id 9075ADC05D; Sat, 26 Sep 2015 11:33:15 +0200 (CEST) Message-ID: <1443259991.4442.16.camel@e130.lan.sumadev.de> From: Gerd Stolpmann To: caml-list Cc: Jeffrey Scofield , SEAiq Navigation Date: Sat, 26 Sep 2015 11:33:11 +0200 Content-Type: multipart/signed; micalg="pgp-sha1"; protocol="application/pgp-signature"; boundary="=-bZUNtMKkAzxYXIhD2QU3" X-Mailer: Evolution 3.10.4-0ubuntu2 Mime-Version: 1.0 X-Provags-ID: V03:K0:Jk6jtLmg4fHizu37sbc1h+ZCiqsVEvHA1t6lFon6qazDvQQMFFC B9haVmmOHJDpEFtqxrEY1ja7L2ygF/HICVp4ish88jtiAtIyoiIAPFRP8KVZ5PSj26+fLZV M5oOdwwdclcuTfoQ5Q8hwlY0dN9Sl0LvBxGtpFaRh5fufOom5myNkSsn+xnZqHS0I51TDhd hU1nFzpP/d1/OujgFKAzA== X-UI-Out-Filterresults: notjunk:1;V01:K0:HAPBJp9Q3yo=:njNHLQRPF5+SS91e/EM7xC V6mqXa4tcdn4T27/wi1WuieCHtt0pjUBMciUPPQdAFFvbeibuZBqS4QHrG1obiI9KKAvsOcu6 TV1wGkiQ1kTjZrNBhOjEiCfay1xPSC6AwQJ6eUCIrbmbz+qerWrRVZloQAvKjW93WzhV3QqN7 b6aNrTsrNOJspScbd97IiQN35OtrVh+4jUcx7VVJaxnc9YmrDOEYyLGSqD0IJXYsAMT6U3O72 kkvBZQukh1LBh3CurLp7d/Cy3vMziL6JtZEOZ/ZctMSZJw0jeGGBWxHqCFzZpdnCDNlX41BES y+Zt5QzwpRl09LMOlMXCLDlTVgQUKWQWAIRB0ao/Q6WSv6Om1x67wzL9hU0Zg3/xiTHZRKIrQ AHMEuuq4ar+msSnQ+lZk77e6tCy2m/Apq8VS6u36HAg0vt9ZsX6W/MfzNx7u7w7c7Li/Vx3i+ CpOSA8dTfX9edaAM50xgEjG4PhQosxiDBvT4Lfh9qqGTajLNLznx73tbHfoaym2BtAprBHWQS 64Off71/ce6vvaALTR/kondxN9aPJDJzd863kuWmROPG1O8S9LBgLOF26wx113BoiIg7SE0s+ qAgvGqhkJSJ8g0CDnCiPnaiJK+Pz0rZCS9zvdYKFUxTJvsrueIUEhKCj6Svl9a9gRUNydECWt A0x1Hxx92qyY7WKlsQ/Da/QKPbiupPLP24aj63De3YKmOW+dzOP8zUmxkOwlhu0AAdHM= Subject: [Caml-list] ocaml-4.02.3 for iOS --=-bZUNtMKkAzxYXIhD2QU3 Content-Type: text/plain; charset="ISO-8859-15" Content-Transfer-Encoding: quoted-printable Hi, I rebased our development branch to 4.02.3, and did few quick tests, and everything seems to work. At this point I'd like to invite all iOS developers to check out our work, and help us finding the last bugs: https://github.com/gerdstolpmann/ocaml/tree/gs-4.02.3+ios Problems should be discussed here: http://caml.inria.fr/mantis/view.php?id=3D6986 What you get is a cross compiler for either armv7, armv7s, or arm64. See the instructions below how to install. This branch is based on Jeffrey Scofield's work to port ocaml to (32 bit) iOS. We (Gerd, Jeffrey and Mark) added support for armv7s and arm64, and tried to better adapt to the coding standards of the ocaml sources. There is an effort to merge this branch into mainline OCaml. So how to install: - You need a host ocaml compiler for Mac, and this compiler must also be version 4.02.3, and the word size must match the word size of the target (i.e. 64 bit for arm64, and 32 bit for armv7/armv7s). Please take these requirements seriously - they are checked. The host compiler must be in your PATH. (NB. For getting a 32 bit host compiler please take http://caml.inria.fr/mantis/view.php?id=3D6900 into account.) - Clone: git clone https://github.com/gerdstolpmann/ocaml/tree/gs-4.02.3+ios - Look at the checked-out build.sh script. Modify the variables for platform, target, and SDK version. - Configure and build: ./build.sh -prefix /where/you/want/it - Install: make install What you get: - The installed compilers remain dependent on the host installation (so don't delete it after building). In particular, the "ocamlrun" executable of the host is still used. - The installed runtime is for the target, in particular all the libraries (such as libocamlrun.a, and libasmrun.a) - The native-code compiler ocamlopt generates executables, but you can also emit object files (-output-obj) that can be linked with any existing app. You'll also need libasmrun.a in this case. - For completeness, you can also use ocamlc -custom to generate stand-alone bytecode executables. I guess this is less interesting, and I'm not sure whether Apple would allow this format in the app store. Gerd=20 --=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 ------------------------------------------------------------ --=-bZUNtMKkAzxYXIhD2QU3 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 iQEcBAABAgAGBQJWBmZXAAoJEAaM4b9ZLB5T2+wH/iuPpMu9yzi6qcI1hrX6hRqp yEOEOyj0YbE6isF45DyA8LzsrWAApO6YYClBNXHSxIESyZlQ+l5etkKJBe1em4jU QasWMT/HrPL6MOQ71/r4nMYFdekxLO3g2Wq71GG5TzL2IKPmXd3YObm6XUQioMrz 5CXIS4bt5CycezXnaAQVWP3pvFID8Ep78yC/HIpjQ9ffDqgCGWVFMgwoVAhVs8E7 NsS33cZKZRu0SlXqG8LXc/jvb2YL37CH1e/R/TLjmP2EMWFLfOGqOoojfq0rX+bT 3a5nDCVVpSwcWsNCZC71QOGr7vh9vRt7P5RFvcNTeYtvOHf5b1Fz096fLHDeV2M= =toWo -----END PGP SIGNATURE----- --=-bZUNtMKkAzxYXIhD2QU3--