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 B6F887EF28 for ; Fri, 26 Jun 2015 23:25:51 +0200 (CEST) Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of gerd@gerd-stolpmann.de) identity=pra; client-ip=212.227.126.131; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="gerd@gerd-stolpmann.de"; x-sender="gerd@gerd-stolpmann.de"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of gerd@gerd-stolpmann.de) identity=mailfrom; client-ip=212.227.126.131; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="gerd@gerd-stolpmann.de"; x-sender="gerd@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.131; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="gerd@gerd-stolpmann.de"; x-sender="postmaster@mout.kundenserver.de"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0AuAQALw41VlIN+49Rbg2VftH+KCw6FdAKBP0wBAQEBAQESAQEBAQcLCwkfMIQjAQEDAVUkBQsLRlcGEwmIHgwJzyMBAQEBAQEBAwEBAQEBHYotgR2EYCYHgi0MQYExBYcDjQGEWIZ6gXyGNgOQAoQibQEBAYJFAQEB X-IPAS-Result: A0AuAQALw41VlIN+49Rbg2VftH+KCw6FdAKBP0wBAQEBAQESAQEBAQcLCwkfMIQjAQEDAVUkBQsLRlcGEwmIHgwJzyMBAQEBAQEBAwEBAQEBHYotgR2EYCYHgi0MQYExBYcDjQGEWIZ6gXyGNgOQAoQibQEBAYJFAQEB X-IronPort-AV: E=Sophos;i="5.13,686,1427752800"; d="asc'?scan'208";a="138023605" Received: from mout.kundenserver.de ([212.227.126.131]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 26 Jun 2015 23:25:51 +0200 Received: from [192.168.1.12] ([84.107.253.192]) by mrelayeu.kundenserver.de (mreue005) with ESMTPSA (Nemesis) id 0LxryC-1Z2wqf27G8-015LMx; Fri, 26 Jun 2015 23:25:49 +0200 Message-ID: <1435353916.16506.0.camel@e130.lan.sumadev.de> From: Gerd Stolpmann To: Berke Durak Cc: Markus =?ISO-8859-1?Q?Wei=DFmann?= , caml-list Date: Fri, 26 Jun 2015 23:25:16 +0200 In-Reply-To: References: <1e86d3d4e5a1e3ba3051d8c928b0dbd2@in.tum.de> Content-Type: multipart/signed; micalg="pgp-sha1"; protocol="application/pgp-signature"; boundary="=-M9IMXgGiHs44amkoEBdH" X-Mailer: Evolution 3.10.4-0ubuntu2 Mime-Version: 1.0 X-Provags-ID: V03:K0:CoCqoElxTtcI3Slaj1D/jaWnWXU6+f5Saxhf2wPo/SMDdzXYcK6 seRmIHjTrvtMOyb3d7rUaHnpOBSTGCxt4dlvOauldMzAZM+HApEYj3nfdBpKqr43rnmCEhd l0bYd5SZFl6OWdGrBxCTpanypuJOIOs7D1rCjt/FNRNH8zOYN/5ouJAdZLAaEiQHhYrJYGb IPPghvcdZnXWz9CT1e59A== X-UI-Out-Filterresults: notjunk:1;V01:K0:TMBdaNbUCPM=:Vm3XKkm42WAx/sRKUNurd7 scvaExXm7TrQ5YlpTvGjV/NcYbVupOh5RZHbYYXxGhUcXSLc6ZsgjeKGc1ZkemClGdlGk/e24 BPH1fVorGK9Qw4iTw1BzftKuknthbDpl1G/kLtA2C9YzIcWeX0VPBiD9ijHyOxNKHHGpt5bKo S82k1QYEwMoVagl+P5pJJDKRU9rPjTHKBlLIztemnWNnZo6Cqqqv2mtTWQR4vGkU6aNRr6gEe +oBmz+knR3tmt5e49Jdem9xWtfqljAYTY2JaHV2YMvLG9gKIQNqnwmCZJDkPNq8wwu/MiCB28 jbkG+PHU0KSO1hBq265C/ma1zg4DliQGDLzIQWTPVDRs8eCGLuqNloQmnWKSj/E5VFTt70jIi I596QegdO0F7BF05RBopdgvAgxb8t9KoFAc65G062TAMUigcx/HMKkuuLRLm6NLfDSHkOYcIM Oz36BjQjWwF9UCISj7HfNgpyPkdjsp6thVrtKrA8Ai/qClWjrsoyoY5kl3LmSp74Abgp3pGIw vM0LlFXv55HrZNYVeclHccHss/dUwcflNTun1/OkMnZitT3fOqsHg67zTPskfoynEF1hNRDE5 dQaFR2Ujf7meWoMQ1PZ8BEqXcGnBdkffWxq/oy9DQ9GRTbIVw54LM1dXZ1SZL+jkzYzNDNiZ5 GtCISrkFSZ6p7qW5yjZEK6X92 X-Validation-by: gerd@gerd-stolpmann.de Subject: Re: [Caml-list] OCaml embedded --=-M9IMXgGiHs44amkoEBdH Content-Type: text/plain; charset="ISO-8859-15" Content-Transfer-Encoding: quoted-printable Am Donnerstag, den 25.06.2015, 23:04 -0400 schrieb Berke Durak: > To conclude, as powerful ARM systems are very cheap and plentiful > these days, and since the convenience of Opam is immense, I'm not sure > there is much incentive in using a cross-compiler.=20 There is when you develop for a closed system like iOS. Also, there is now arm64, and so far I know there are no boards yet. > BTW, is there a maintained ARM cross-compiler? It's in mainline, 4.02.2. It's still a little bit difficult to use, because IMHO some convenience targets are missing in the Makefile. Whitequark in his Android packages just generates a configuration and avoids the problems (see https://github.com/whitequark/opam-android/blob/master/packages/ocaml-andro= id32.4.02.2/files/config/Makefile.in, it is in particular essential to set = CAMLRUN to the host compiler's ocamlrun). For the iOS branch (not yet in ma= inline) we added cross-all and cross-opt targets to the Makefile (see https= ://github.com/gerdstolpmann/ocaml/tree/gs-4.02.2+ios). This might be easier= to start with (this branch contains the changes required for the iOS assem= bler, but should also work for a GNU toolchain). See the build.sh script in= this repo for an example how to configure and build. 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 ------------------------------------------------------------ --=-M9IMXgGiHs44amkoEBdH 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 iQEcBAABAgAGBQJVjcM8AAoJEAaM4b9ZLB5TcjoH/RVPqtTCwAB8H+TARJIf047l 0ikR2ft8IJfKLYAD6RTKr/uf+jcp5veAVKrLTb68UWC4L0SBRg17ADGqv/EG6FIX zcwVHRHmIYzc5k16491vC1mvgKGAJXpJVuYijNoIID8XXEuS92P6TbtVGpqt78v+ 3GEqr4cg/AKS9Nvbq5wTbSi1nrfkOkhyBEe3wib3ABIufUdnbP20PfQWh/rGtO9k wMgMMcGNUgagjvlXW6+Ad/4q/DZ0qjNK/cw6hmnpcVp+bT9gRYmd547XyXKAlYfk DiLHrKrgyD16HeSwunvKXnANiF8qjCkQYaTymmoEhwe8tWiSUWRVUTuY3ReYTj0= =GpbQ -----END PGP SIGNATURE----- --=-M9IMXgGiHs44amkoEBdH--